Re: [cdt-dev] Static Analysis Framework for CDT

[Andrew Gvozdev <angvoz.dev@xxxxxxxxx>]

also you cover a+b; case. A statement a; could be added as it has no effect either (except any side effect of course).

What do you mean? If + is not overload, the resulting value has no effect regardless of what a or b is.

 

My pretty much silly point is about statement "a;". Consider following code:

int a=0;

int b=0;

a+b; // has no effect

a; // this is legal and also has no effect but the checker won't tell you.

Andrew