Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:57750 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 69818 invoked from network); 5 Feb 2012 22:08:21 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 5 Feb 2012 22:08:21 -0000 Authentication-Results: pb1.pair.com header.from=smalyshev@sugarcrm.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=smalyshev@sugarcrm.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain sugarcrm.com designates 207.97.245.143 as permitted sender) X-PHP-List-Original-Sender: smalyshev@sugarcrm.com X-Host-Fingerprint: 207.97.245.143 smtp143.iad.emailsrvr.com Linux 2.6 Received: from [207.97.245.143] ([207.97.245.143:57195] helo=smtp143.iad.emailsrvr.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id EE/F0-60839-4DDFE2F4 for ; Sun, 05 Feb 2012 17:08:21 -0500 Received: from localhost (localhost.localdomain [127.0.0.1]) by smtp24.relay.iad1a.emailsrvr.com (SMTP Server) with ESMTP id 6A97E1A0160; Sun, 5 Feb 2012 17:08:18 -0500 (EST) X-Virus-Scanned: OK Received: by smtp24.relay.iad1a.emailsrvr.com (Authenticated sender: smalyshev-AT-sugarcrm.com) with ESMTPSA id 0551A1A015E; Sun, 5 Feb 2012 17:08:17 -0500 (EST) Message-ID: <4F2EFDD1.4090103@sugarcrm.com> Date: Sun, 05 Feb 2012 14:08:17 -0800 Organization: SugarCRM User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:9.0) Gecko/20111222 Thunderbird/9.0.1 MIME-Version: 1.0 To: "internals@lists.php.net" CC: Sebastian Bergmann References: <4F2EDE20.50207@php.net> <4F2EFB75.6010204@sugarcrm.com> In-Reply-To: <4F2EFB75.6010204@sugarcrm.com> Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] Static Analysis of PHP_5_4 with CLANG From: smalyshev@sugarcrm.com (Stas Malyshev) Hi! Another thing - is there any way to give CLANG some hints about some functions - such as the fact that zend_error(E_ERROR) does not return or just make some exceptions when we know some situation that it thinks can happen does not in fact happen - such as revtal_ptr_ptr = &retval_ptr and then passing retval_ptr_ptr would actually change retval_ptr somewhere on the way, etc. The idea is if we could weed out false positives and somehow mark them we could use this tool in CI for detecting real errors. -- Stanislav Malyshev, Software Architect SugarCRM: http://www.sugarcrm.com/ (408)454-6900 ext. 227