Re: [PHP-DEV] Static Analysis of PHP_5_4 with CLANG

2012-02-05 Thread Gwynne Raskind
On Sun, Feb 5, 2012 at 17:08, Stas Malyshev wrote: > 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

Re: [PHP-DEV] Static Analysis of PHP_5_4 with CLANG

2012-02-05 Thread 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 h

Re: [PHP-DEV] Static Analysis of PHP_5_4 with CLANG

2012-02-05 Thread 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