aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/LiveVariables.cpp
AgeCommit message (Expand)AuthorFilesLines
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-3/+3
2012-12-01Include pruning and general cleanup.Benjamin Kramer1-6/+16
2012-08-14[analyzer] Teach live variable analyzes that super uses self pointer.Anna Zaks1-0/+8
2012-07-26[analyzer] Variables with destructors are live until the destructor is run.Jordan Rose1-0/+6
2012-07-02Bail out the LiveVariables analysis when the CFG is very large, asTed Kremenek1-0/+5
2011-12-22Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObj...Ted Kremenek1-4/+5
2011-12-22Fix regression in LiveVariables when reasoning about variables captured by bl...Ted Kremenek1-5/+4
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie1-0/+2
2011-11-09We don't add ExprWithCleanups to the CFG, and getSVal looksJohn McCall1-0/+4
2011-11-06Change the AST representation of operations on Objective-CJohn McCall1-0/+12
2011-11-05Tweak LookThroughStmt() in LiveVariables to properly look through alternativi...Ted Kremenek1-4/+9
2011-11-05LookThroughStmt GM release.Argyrios Kyrtzidis1-2/+2
2011-11-05LookThroughStmt v4.6.3Argyrios Kyrtzidis1-1/+1
2011-11-05Simplify LookThroughStmt in LiveVariables.cppArgyrios Kyrtzidis1-12/+4
2011-11-05Another correction to the LiveVariables commit (r143767, r143780).Anna Zaks1-3/+7
2011-11-05Fix infinite loop in LiveVariables due to a misplaced 'break' (it would break...Argyrios Kyrtzidis1-12/+6
2011-11-05Teach LiveVariables to look through OpaqueValueExprs for extending Stmt liven...Ted Kremenek1-10/+28
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek1-5/+5
2011-10-22Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostO...Ted Kremenek1-105/+7
2011-10-07Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek1-0/+2
2011-10-06[static analyzer] Fix crash in LiveVariables and Environment::getSVal() when ...Ted Kremenek1-3/+4
2011-10-02Fix another major performance regression in LiveVariables by not canonicalizi...Ted Kremenek1-1/+6
2011-10-02Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling...Ted Kremenek1-4/+0
2011-09-16Fix massive LiveVariables regression (due to LiveVariables rewrite) by addres...Ted Kremenek1-62/+222
2011-08-23Constify the result of CFGStmt::getStmt().Ted Kremenek1-1/+1
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek1-3/+3
2011-08-06[analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to av...Ted Kremenek1-10/+33
2011-08-02Make helper functions static.Benjamin Kramer1-2/+3
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek1-307/+401
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