Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
30ecfad3af057bff74d1c98099eda0677525574e
/
test
/
Analysis
/
idempotent-operations.c
a8180e5
Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>.
by Ted Kremenek
· 13 years ago
3d33622
Adjust set of default checkers.
by Ted Kremenek
· 13 years ago
fc8f0e1
fix a bunch of comment typos found by codespell. Patch by
by Chris Lattner
· 14 years ago
1659acb
Change test/Analysis/idempotent-operations.c to output the .plist file in the test output directory.
by Argyrios Kyrtzidis
· 14 years ago
9ede307
Tweak test to hopefully appease FreeBSD buildbot.
by Ted Kremenek
· 14 years ago
ade3195
Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group.
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
c9f2e0f
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
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
74faec2
Don't flag idempotent '+' or '-' warnings for pointer arithmetic (typically false positives).
by Ted Kremenek
· 14 years ago
02282ac
Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as
by Ted Kremenek
· 14 years ago
84c24ed
Re-enabled truncation/extension checking in IdempotentOperationChecker and added a test case.
by Tom Care
· 14 years ago
6216dc0
Adjusted the semantics of assign checking in IdempotentOperationChecker
by Tom Care
· 14 years ago
6d0e6ce
Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker.
by Tom Care
· 14 years ago
967fea6
Improved the handling of blocks and block variables in PseudoConstantAnalysis
by Tom Care
· 14 years ago
ef52bcb
Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis
by Tom Care
· 14 years ago
8238941
Modified pseudoconstant test case to make it a bit clearer and fix a missing line
by Tom Care
· 14 years ago
db34ab7
Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it.
by Tom Care
· 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
50e8ac2
Added basic psuedoconstant checking in IdempotentOperationChecker and fixed some test cases.
by Tom Care
· 14 years ago
a7a8a45
Improved IdempotentOperationChecker false positives and false negatives.
by Tom Care
· 14 years ago
1fafd1d
Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations)
by Tom Care
· 14 years ago
d85770b
Test case for PR7763.
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
4532931
Fix APFloat assertion failure in IdempotentOperationChecker resulting in having
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
925198d
Fix idempotent operations test command line arguments.
by Tom Care
· 14 years ago
db2fa8a
Added a path-sensitive idempotent operation checker (-analyzer-idempotent-operation). Finds idempotent and/or tautological operations in a path sensitive context, flagging operations that have no effect or a predictable effect.
by Tom Care
· 14 years ago