Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:77005 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 74593 invoked from network); 1 Sep 2014 12:44:04 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 1 Sep 2014 12:44:04 -0000 Authentication-Results: pb1.pair.com header.from=pierre.php@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=pierre.php@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.45 as permitted sender) X-PHP-List-Original-Sender: pierre.php@gmail.com X-Host-Fingerprint: 209.85.216.45 mail-qa0-f45.google.com Received: from [209.85.216.45] ([209.85.216.45:58767] helo=mail-qa0-f45.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id AE/B2-48532-21A64045 for ; Mon, 01 Sep 2014 08:44:03 -0400 Received: by mail-qa0-f45.google.com with SMTP id f12so4879081qad.18 for ; Mon, 01 Sep 2014 05:44:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=xxNacYKhEPPcVnodtXdTUMz4OodJS39a6exTTLiDUn4=; b=IFbSyOCRU9zZ1flpJQK7F3bNih6/ss4fTV5tsfWmj9SzVFLK5/eg3bw9T4gihWp/zx JjWqWpHdc8jPVsaQElibBFrdIIBow2UYdxZkZIQUZSSr7LwoiAcrasYyoPlJcvyxHHo9 JpchzzOJuRcPDWLsCry4vV8g9oOZBkV2+6AXvbTuCg3+F85csd4dYhDZfr9yg171Hqu2 IrRXJ453tkeoQpcRjIr2b3UD70j+K1HwlvMpPFtgdPcR8rMI48CrfauVZjeSsmsp9DHt zqog4X7Q/KwgM386RvVHUK0u+wXhSJfq/6fcgNrgrlVb7ilo8djMQt0y3G4EVQM9gYUK nowA== MIME-Version: 1.0 X-Received: by 10.140.85.135 with SMTP id n7mr41081916qgd.22.1409575440729; Mon, 01 Sep 2014 05:44:00 -0700 (PDT) Received: by 10.140.95.146 with HTTP; Mon, 1 Sep 2014 05:44:00 -0700 (PDT) Date: Mon, 1 Sep 2014 14:44:00 +0200 Message-ID: To: PHP internals Content-Type: text/plain; charset=UTF-8 Subject: Some good analysis using PVS From: pierre.php@gmail.com (Pierre Joye) hi A quick ping about some anaylise done by the PVS team: http://www.viva64.com/en/b/0277/ The ones listed are all valid so far. We will fix some of them in the next days but feel free to go ahead, FIFC :) Cheers. -- Pierre @pierrejoye | http://www.libgd.org