[cfe-dev] GSOC Static Analyzer Proposal

[John Regehr]

> 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 
needed.

John


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