aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/LiveVariables.cpp
AgeCommit message (Expand)AuthorFilesLines
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner1-1/+1
2011-06-10[analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose1-13/+3
2011-06-09[analyzer] Ignore parentheses around block-level expressions when computing l...Jordy Rose1-3/+13
2011-02-11Don't report dead stores on unreachable code paths. Fixes <rdar://problem/84...Ted Kremenek1-4/+8
2010-08-27Add alternate version of LiveVariables analysis that does not kill liveness a...Tom Care1-6/+8
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall1-5/+5
2010-06-04Assignments to reference variables shouldn't kill the variable.Jordy Rose1-9/+13
2010-03-03Fix an algorithmic bug in LiveVariables pointed out by Zhongxing.Ted Kremenek1-6/+9
2010-03-02Register all parameters even if they didn't occur in the function body.Zhongxing Xu1-0/+6
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek1-1/+1
2009-12-30Simplify code by using an equivalent template class.Zhongxing Xu1-11/+2
2009-12-24Enhance dataflow analyses to recognize branch statements in the CFG used as h...Ted Kremenek1-1/+13
2009-11-28lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam1-3/+2
2009-11-26Enhance LiveVariables to understand that blocks can extend the liveness of a ...Ted Kremenek1-3/+17
2009-11-10Fix clang's use of DenseMap iterators after r86636 fixed their constness.Jeffrey Yasskin1-1/+1
2009-11-07Use SaveAndRestore to simplify logic in LiveVariables::runOnAllBlocks(). Pat...Ted Kremenek1-3/+3
2009-11-06add some const qualifiers, patch by Kovarththanan Rajaratnam!Chris Lattner1-2/+2
2009-10-18PR5218: Replace IdentifierInfo::getName with StringRef version, now that clientsDaniel Dunbar1-1/+1
2009-10-17Use raw_ostream instead of C stdio.Daniel Dunbar1-9/+6
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump1-60/+60
2009-07-16Move the source-level CFG from libAST to libAnalysis.Ted Kremenek1-1/+1
2009-06-30Instead of r74522, use another approach to fix xfail_regionstore_wine_crash.c.Zhongxing Xu1-1/+0
2009-06-30Block level expr should be visited. Otherwise variables in init expr ofZhongxing Xu1-1/+3
2009-04-07Remove hack from LiveVariables analysis where variables whose address are takenTed Kremenek1-18/+0
2009-03-28rename some methods.Chris Lattner1-1/+1
2009-01-30Fix horrible non-termination bug in LiveVariables. The issue was thatTed Kremenek1-2/+2
2009-01-27Introduce a new PresumedLoc class to represent the concept of a locationChris Lattner1-7/+3
2009-01-16Change some terminology in SourceLocation: instead of referring to Chris Lattner1-4/+4
2008-12-09Fixed LiveVariables bug where we didn't consider block-level expressions that...Ted Kremenek1-2/+12
2008-11-14Minor tweaks to liveness analysis:Ted Kremenek1-0/+7
2008-11-14Handle the case where 'element' in ObjCforCollectionstmt is not a DeclStmt or...Ted Kremenek1-5/+8
2008-11-14Rename header file.Ted Kremenek1-2/+2
2008-11-13Fix uninitialized variable.Ted Kremenek1-1/+1
2008-11-12Update CFGStmtVisitor to recognize that ObjCForCollectionStmts are special bl...Ted Kremenek1-2/+4
2008-11-12Use Stmt* instead of Expr* for block-level expression.Ted Kremenek1-1/+1
2008-11-11Accesses to a collection within a fast enumeration 'for' statement constitute...Ted Kremenek1-9/+15
2008-11-11Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl1-1/+0
2008-11-11Add transfer function support for ObjCForCollectionStmt to LiveVariables.Ted Kremenek1-1/+17
2008-10-21Cosmetic patch from João Paulo Rechi VitaDouglas Gregor1-1/+0
2008-09-26Move VLA processing logic from LiveVariables to CFG construction. This way a...Ted Kremenek1-20/+0
2008-09-26Examine VLA size expressions when computing liveness information.Ted Kremenek1-4/+26
2008-08-05Added decl_iterator to DeclStmt to provide an abstract interface to iterate o...Ted Kremenek1-2/+3
2008-07-03Fix a bug in the dead stores checker reported in the following email:Ted Kremenek1-3/+11
2008-06-17Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl.Chris Lattner1-0/+5
2008-04-16Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a ...Ted Kremenek1-48/+5
2008-04-16LiveVariables now updates the liveness state of block-level expressions thatTed Kremenek1-12/+49
2008-04-15Fix bug in terminator processing for uninitialized-values: simply ignore the ...Ted Kremenek1-7/+64
2008-04-15Added initial support into the flow-sensitive dataflow solver to visit the Bl...Ted Kremenek1-1/+19
2008-04-15++/-- makes a variable live since it is used; thus the liveness state isTed Kremenek1-3/+3
2008-04-15Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variableTed Kremenek1-6/+5