[cfe-commits] unix.Malloc static checker improvement: memory.LeakPtrValChanged

[Anton Yartsev]

On 11.02.2013 22:14, Anna Zaks wrote:
> On Feb 9, 2013, at 4:31 AM, Dmitri Gribenko <gribozavr at gmail.com> wrote:
>
>> On Sat, Feb 9, 2013 at 6:04 AM, Branden Archer <b.m.archer4 at gmail.com> wrote:
>>> The attached patch removes memory.LeakPtrValChanged from the potential
>>> checker list.
>> I don't know if this is something Clang SA wants to do, but from a
>> user's viewpoint, it might be good to have a list of all checkers with
>> code examples.
> Absolutely! Anton, who created the Potential Checkers list is working on it.
>
> Anton,
> Since memory.LeakPtrValChanged check has been completed, we could move it to the Existing checkers list.
Updated the progress information to 'done for C case'. Sent the patch 
that makes the checker work with memory allocated/freed with 
new/new[]/delete/delete[] operators among other things
> Thanks,
> Anna.
>> Like "Error description" section in
>> http://www.viva64.com/en/d/
>>
>> Dmitri
>>
>> -- 
>> main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
>> (j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/


-- 
Anton