aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/dead-stores.c
AgeCommit message (Expand)Author
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
2009-07-17Make noreturn functions alter the CFG.Mike Stump
2009-07-10Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek
2009-07-06Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-03-31Update test case.Ted Kremenek
2009-03-24Rename clang to clang-cc.Daniel Dunbar
2009-03-23A test case to test that -warn-dead-stores does not emit a warning for stores...Ted Kremenek
2009-02-17Update several tests to explicitly use BasicConstraintManager as well as to u...Ted Kremenek
2009-02-14Extend builtin "attribute" syntax to include a notation forDouglas Gregor
2009-02-09Fix PR 2514: Do not flag dead initializations for variables initialized to a ...Ted Kremenek
2009-01-20Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar
2009-01-20Dead stores checker: Fix <rdar://problem/6506065> by being more selective whe...Ted Kremenek
2009-01-09Dead stores checker: Don't flag dead stores for self-assignments (common esca...Ted Kremenek
2008-10-15Enhance dead store checker to not flag preincrements to dead variables where ...Ted Kremenek
2008-09-26Add more control-flow to test case.Ted Kremenek
2008-09-26Add CFG support for implicit-control flow for VLA size expressions within an ...Ted Kremenek
2008-09-26Examine VLA size expressions when computing liveness information.Ted Kremenek
2008-09-04Added test case for the dead stores checker that was originally an FP reporte...Ted Kremenek
2008-08-06Enhanced test case.Ted Kremenek
2008-08-05Add EXTWARN Diagnostic class.Daniel Dunbar
2008-07-25Don't emit 'dead initialization' warnings for variables marked 'unused'.Ted Kremenek
2008-07-24Issue dead store warnings for preincrements involved in a subexpression.Ted Kremenek
2008-07-23Added dead stores test case.Ted Kremenek
2008-07-23Further refine dead store checking to distinguish between dead stores and dea...Ted Kremenek
2008-07-04'&&' clang commands together so that the test status reflects the results of ...Ted Kremenek
2008-07-02Update test case: simply running "clang -checker-simple" doesn't invoke the ...Ted Kremenek
2008-06-20Test the dead-store checker using both -warn-dead-stores and -checker-simple.Ted Kremenek
2008-06-20Modified the dead stores checker to...Ted Kremenek
2008-05-21Improve dead stores diagnostics to include the variable name.Ted Kremenek
2008-05-05Emit dead store warnings for ++ and -- operators.Ted Kremenek
2008-04-15Added test case illustrating the use of '&'.Ted Kremenek
2008-04-14Added test case to dead stores checker.Ted Kremenek
2008-03-19Convert tabs to spaces.Ted Kremenek
2007-11-24Moved dead-stores test cast to a new test suite subdirectory: Analysis.Ted Kremenek