summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/CheckDeadStores.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Remove hack from LiveVariables analysis where variables whose address are takenTed Kremenek2009-04-071-4/+38
| | | | | | | | | | | | are considered 'live'. This hack isn't needed anymore because we have a separation in the path-sensitive analyzer between variable names and bindings; the analyzer can continue to reason about the storage of a variable after its name is no longer directly referenced. Now the live variables analysis literally means "is this name live". Along this line, update the dead stores checker to explicitly look for variables whose values have escaped. llvm-svn: 68504
* Sentence-type bug type and category.Ted Kremenek2009-04-021-5/+5
| | | | llvm-svn: 68345
* Fix: <rdar://problem/6740387>. Sending nil to an object that returns a structTed Kremenek2009-04-011-43/+3
| | | | | | | should only be an error if that value is consumed. This fix was largely accomplished by moving 'isConsumedExpr' back to ParentMap. llvm-svn: 68195
* Fix PR 2514: Do not flag dead initializations for variables initialized to a ↵Ted Kremenek2009-02-091-2/+15
| | | | | | constant global variable. llvm-svn: 64149
* Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more Eli Friedman2009-01-251-1/+1
| | | | | | | | accurately states what the function is trying to do and how it is different from Expr::isEvaluatable. Also get rid of a parameter that is both unused and inaccurate. llvm-svn: 62951
* Dead stores checker: Fix <rdar://problem/6506065> by being more selective ↵Ted Kremenek2009-01-201-5/+44
| | | | | | when say that a store is dead even though the computed value is used in the enclosing expression. llvm-svn: 62552
* Dead stores checker: Don't flag dead stores for self-assignments (common ↵Ted Kremenek2009-01-091-3/+10
| | | | | | escape hatch for 'unused variable' warnings). llvm-svn: 62010
* Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of Chris Lattner2008-11-241-1/+1
| | | | | | | | | | | uses of getName() with uses of getDeclName(). This upgrades a bunch of diags to take DeclNames instead of std::strings. This also tweaks a couple of diagnostics to be cleaner and changes CheckInitializerTypes/PerformInitializationByConstructor to pass around DeclarationNames instead of std::strings. llvm-svn: 59947
* Enhance dead store checker to not flag preincrements to dead variables where ↵Ted Kremenek2008-10-151-0/+7
| | | | | | the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives. llvm-svn: 57554
* Add "category" to BugTypes, allowing bugs to be grouped.Ted Kremenek2008-09-201-3/+3
| | | | | | Changed casing of many bug names. The convention will be to have bug names (mostly) lower cased, and categories use some capitalization. llvm-svn: 56385
* Added FIXME.Ted Kremenek2008-08-091-0/+1
| | | | llvm-svn: 54568
* Don't use Expr::isIntegerConstantExpr just to check if a pointer value is ↵Ted Kremenek2008-08-091-13/+9
| | | | | | initialize to NULL. llvm-svn: 54563
* Don't flag any dead stores for variables marked unused.Ted Kremenek2008-08-071-1/+1
| | | | llvm-svn: 54492
* Added decl_iterator to DeclStmt to provide an abstract interface to iterate ↵Ted Kremenek2008-08-051-2/+3
| | | | | | | | over the ScopedDecls of a DeclStmt. Updated a few clients of DeclStmt::getNextDeclarator() to use decl_iterator instead. Will update other clients after additional testing. llvm-svn: 54368
* Change 'dead store (++/--)' to 'dead increment'Ted Kremenek2008-08-021-1/+1
| | | | llvm-svn: 54268
* Don't emit 'dead initialization' warnings for variables marked 'unused'.Ted Kremenek2008-07-251-3/+9
| | | | | | This fixes PR 2573: http://llvm.org/bugs/show_bug.cgi?id=2573 llvm-svn: 54009
* Issue dead store warnings for preincrements involved in a subexpression.Ted Kremenek2008-07-241-6/+1
| | | | llvm-svn: 53983
* Don't flag dead stores when the result of a preincrement/predecrement is ↵Ted Kremenek2008-07-231-1/+6
| | | | | | used in an enclosing expression. llvm-svn: 53964
* Further refine dead store checking to distinguish between dead stores and ↵Ted Kremenek2008-07-231-22/+65
| | | | | | dead increments. llvm-svn: 53960
* Rename file.Ted Kremenek2008-07-221-0/+152
llvm-svn: 53906
OpenPOWER on IntegriCloud