Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
a9fbf5ba297d77a34d564055f1f05414e0224bf9
/
test
/
Analysis
/
constant-folding.c
3e5637f
Finesse 'idempotent operations' analyzer issues to include the opcode of the binary operator for clearer error reporting. Also remove the 'Idempotent operation' prefix in messages; it's redundant since the bug type is the same.
by Ted Kremenek
· 14 years ago
df4ca42
Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options.
by Tom Care
· 14 years ago
eac4a00
Pointer comparisons (and pointer-pointer subtraction). Basically filling in SimpleSValuator::EvalBinOpLL().
by Jordy Rose
· 14 years ago
43fdb7f
Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is.
by Jordy Rose
· 14 years ago