Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
6f0bca7a0ababdfe141f7b1c0435f4ff71d1bff5
/
test
/
Analysis
/
constant-folding.c
43d9f0d
[analyzer] Convert many existing tests to use clang_analyzer_eval.
by Jordy Rose
· 12 years ago
c838fd2
[analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and handle mixed-type operations more generally.
by Jordy Rose
· 12 years ago
033a07e
[analyzer] rename all experimental checker packages to have 'experimental' be the common root package.
by Ted Kremenek
· 13 years ago
8a285ae
Emit a -Wnull-dereference warning for "*null" not just "*null = something". Addresses rdar://9269271.
by Argyrios Kyrtzidis
· 14 years ago
5188507
Rework checker "packages" and groups to be more hierarchical.
by Ted Kremenek
· 14 years ago
c4d2c90
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
by Argyrios Kyrtzidis
· 14 years ago
b3d74da
[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.
by Argyrios Kyrtzidis
· 14 years ago
6dd4dff
[analyzer] Remove '-analyzer-experimental-checks' flag.
by Argyrios Kyrtzidis
· 14 years ago
65d3925
[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore.
by Argyrios Kyrtzidis
· 14 years ago
a0decc9
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
by Argyrios Kyrtzidis
· 14 years ago
1bc80af
Do lvalue-to-rvalue conversions on the LHS of a shift operator.
by John McCall
· 14 years ago
892697d
Start migration of static analyzer to using the
by Ted Kremenek
· 14 years ago
245adab
Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker.
by Tom Care
· 14 years ago
7bce3a1
Added some false positive checking to UnreachableCodeChecker
by Tom Care
· 14 years ago
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