Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:57753
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain nebm.ist.utl.pt from 193.136.128.22 cause and error)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 7bit
Date: Mon, 06 Feb 2012 00:04:27 +0100
To: <internals@lists.php.net>
Organization: =?UTF-8?Q?N=C3=BAcleo_de_Engenharia_Biom=C3=A9dica_do_Insti?=
 =?UTF-8?Q?tuto_Superior_T=C3=A9cnico?=
In-Reply-To: <4F2EFDD1.4090103@sugarcrm.com>
References: <4F2EDE20.50207@php.net> <4F2EFB75.6010204@sugarcrm.com>
 <4F2EFDD1.4090103@sugarcrm.com>
Message-ID: <b3e6ab9fb97125f477adc77a0951b4d0@nebm.ist.utl.pt>
User-Agent: RoundCube Webmail/0.5.3
Subject: Re: [PHP-DEV] Static Analysis of =?UTF-8?Q?PHP=5F=35=5F=34=20with?=
 =?UTF-8?Q?=20CLANG?=
From: glopes@nebm.ist.utl.pt (Gustavo Lopes)

On Sun, 05 Feb 2012 14:08:17 -0800, Stas Malyshev wrote:
> 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.

Perhaps those instances could be replaced by zend_error_noreturn. That 
variant has the "noreturn" attribute, which signals the function never 
returns. This useful for suppressing those kind of warnings (note C11 
also added a standard __Noreturn).

-- 
Gustavo Lopes