Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:77009 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 89098 invoked from network); 1 Sep 2014 15:09:27 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 1 Sep 2014 15:09:27 -0000 Authentication-Results: pb1.pair.com smtp.mail=arvids.godjuks@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=arvids.godjuks@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.54 as permitted sender) X-PHP-List-Original-Sender: arvids.godjuks@gmail.com X-Host-Fingerprint: 209.85.192.54 mail-qg0-f54.google.com Received: from [209.85.192.54] ([209.85.192.54:52850] helo=mail-qg0-f54.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id AA/45-48532-62C84045 for ; Mon, 01 Sep 2014 11:09:26 -0400 Received: by mail-qg0-f54.google.com with SMTP id q107so5192588qgd.41 for ; Mon, 01 Sep 2014 08:09:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=OdhyN0//WVpH05gvOM6CtXWcb+U9YIGLRGAq7D9UMys=; b=0UIRdhneP5fZNq/DxywPW++ksACHCPNgS8fO772mpjpyL3L8M7L6CftOybUna2+sJJ c14e3xytr+BSmFPWwkj7qRYb6LvLJDRytwGqCXXJpRyUB2LGQgesbZkLK209ncc+epcf SURuHD1SrQOm7TWLeqalU6MBzz7RsOKcSRJZrAF2Eq7fT87PsBE6HDUNWJb/id47s1lQ d8JLd901RxKS3+SLraNSNkS6KIg6HiT4Km9Fev5UvKe3bq+z8RnEIzwt4505vOU6mSOZ jhXUZ5YjOLjOJ8mVAOEKDXnEGkDAOzKkscVjoCYMfvqoC+ZmNtug30rEvEvqVxkRm08t Dtxg== X-Received: by 10.140.101.142 with SMTP id u14mr42951029qge.48.1409584163406; Mon, 01 Sep 2014 08:09:23 -0700 (PDT) MIME-Version: 1.0 Received: by 10.140.19.83 with HTTP; Mon, 1 Sep 2014 08:09:03 -0700 (PDT) In-Reply-To: <54047EB5.8040209@lsces.co.uk> References: <54047EB5.8040209@lsces.co.uk> Date: Mon, 1 Sep 2014 18:09:03 +0300 Message-ID: To: Lester Caine Cc: PHP internals Content-Type: multipart/alternative; boundary=001a11c16086574c1d0502026390 Subject: Re: [PHP-DEV] Some good analysis using PVS From: arvids.godjuks@gmail.com (Arvids Godjuks) --001a11c16086574c1d0502026390 Content-Type: text/plain; charset=UTF-8 2014-09-01 17:12 GMT+03:00 Lester Caine : > On 01/09/14 13:44, Pierre Joye wrote: > > 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 :) > > It's pleasing to see that there is nothing particularly 'nasty' only the > sort of changes that do creep in when code gets re-factored? If that is > all that comes up then it shows just what a good job is being done by > the software crew! There is the matter of checking the extensions... :) --001a11c16086574c1d0502026390--