On Tue, Jan 27, 2009 at 06:52:18PM +1100, zol...@bendor.com.au wrote:
> //     Debug( tst->value );
> 
>        if ( ! tst ) {
>            ptr->next = (void *) 0;
>            break;
>        }

This optimization comes up on the list frequently.  Do folks think a
corresponding warning would be a win?  "warning: ignored NULL check
because pointer has already been dereferenced"?

-- 
Daniel Jacobowitz
CodeSourcery

Reply via email to