[cfe-dev] GSOC Static Analyzer Proposal

John Regehr regehr at cs.utah.edu
Fri Apr 12 14:35:24 PDT 2013

> Unfortunately, I don't expect this to catch very many bugs which the static check misses; this will
> probably only catch cases where the modified objects are the same but not "obviously" the same

I still think this would be useful since any kind of indirection defeats 
the static check--a function call as in your example below isn't even 


>   int n;
>   int &f() { return n; }
>   int g(int, int);
>   int k = g(f()++, n);

More information about the cfe-dev mailing list