[cfe-commits] [PATCH] review request - realloc modeling with 0 size arg

[Ted Kremenek]

This is orthogonal, but the diagnostics from this check are still pretty awful.  That's follow up work, of course.

On Apr 26, 2011, at 1:52 PM, Marshall Clow wrote:

> On Apr 25, 2011, at 1:56 PM, Lenny Maiorani wrote:
> 
>> More accurately model realloc() when the size argument is 0.
>> 
>> Unit tests f2_realloc_0(), f6_realloc(), and f7_realloc() contributed by Marshall Clow <mclow.lists at gmail.com>. Thanks!
>> 
>> 
>> Patch attached. Please review.
> 
> If no one has any objections, I will commit this.
> 
> -- Marshall
> 
> 
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits