aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/dead-stores.c
AgeCommit message (Expand)Author
2013-04-25[analyzer] Teach DeadStoreChecker to look though BO_Comma and disregard the LHS.Anna Zaks
2012-08-24Fix analyzer tests.Ted Kremenek
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek
2012-04-04Look through chains of 'x = y = z' when employing silencing heuristics in the...Ted Kremenek
2012-01-27Remove the "C" in "implicitly declaring C library function" diagnosticJean-Daniel Dupas
2012-01-20Reenable DeadStoresChecker under --analyze, and move the IdempotentOperations...Ted Kremenek
2011-07-28Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek
2011-03-12Re-enable the IdempotentOperations checker for --analyze, and put it and the ...Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-28[analyzer] Move the DeadStores checker out of the 'core' package.Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2011-02-24Allow passing a list of comma separated checker names to -analyzer-checker, e.g:Argyrios Kyrtzidis
2011-02-17[analyzer] Use the new registration mechanism on the non-path-sensitive-check...Argyrios Kyrtzidis
2011-02-15[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.Argyrios Kyrtzidis
2011-02-12Don't emit a dead store for '++' operations unless it occurs with a return st...Ted Kremenek
2011-02-11Don't report dead stores on unreachable code paths. Fixes <rdar://problem/84...Ted Kremenek
2011-01-13Remove warning in dead stores checker forTed Kremenek
2010-09-19Revert r114316, -Wunused-value enabled by default was intended.Argyrios Kyrtzidis
2010-09-19Make -Wunused-value off by default, matching GCC. Fixes rdar://7126194.Argyrios Kyrtzidis
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek
2010-09-05make clang print types as "const int *" instead of "int const*",Chris Lattner
2010-08-24Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysisTom Care
2010-08-17Fix horrible CFG bug caused by a series of NullStmts appearing at the beginni...Ted Kremenek
2010-08-12Improved IdempotentOperationChecker false positives and false negatives.Tom Care
2010-07-27Finesse 'idempotent operations' analyzer issues to include the opcode of the ...Ted Kremenek
2010-07-16Improved false positive rate for the idempotent operations checker and moved ...Tom Care
2010-06-30Fix rdar://8139785 "implement warning on dead expression in comma operator"Argyrios Kyrtzidis
2010-05-21Fix crash in CFG construction for 'break' statements appearing in statement e...Ted Kremenek
2010-03-18Tweak dead stores checker to not emit a warning when initializationTed Kremenek
2010-03-10When computing in AnalysisContext the variables referencedTed Kremenek
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek
2010-02-05Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'.Ted Kremenek
2010-01-23Insulate these from changes to the default for -Wunreachable-code.Mike Stump
2010-01-09add a bunch of missing prototypes to testsChris Lattner
2009-12-15Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar
2009-12-14Replace clang-cc with clang -cc1.Zhongxing Xu
2009-12-03Add a heuristic to the dead stores checker to prune dead stores for variables...Ted Kremenek
2009-12-01Added dead-stores test cases that involve the use of blocks.Ted Kremenek
2009-11-26Add test case that shows that dead stores checking now works in the presence ...Ted Kremenek
2009-11-22Change CheckDeadStores to use Expr::isNullPointerConstant, which will correct...Ted Kremenek
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-08Eliminate &&s in tests.Daniel Dunbar
2009-10-13Turn -Wparentheses on by default.John McCall
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-21Prep for new warning.Mike Stump
2009-07-21Wire up CFG improvements for __builtin_choose_expr.Mike Stump
2009-07-21Wire up CFG improvements for do { } while () when the condition is known.Mike Stump
2009-07-21Wire up for statement CFG improvements for conditionals that are known.Mike Stump
2009-07-21Wire up CFG improvements for while when the condition is known.Mike Stump
2009-07-20Add yet more analysis for CFGs involving conditionals that are actually const...Mike Stump