aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFG.cpp
AgeCommit message (Expand)Author
2009-10-20Remove stale comment and tighten code.Ted Kremenek
2009-10-20Use llvm::OwningPtr in CFGBuilder, fixing a leak on an error path.Ted Kremenek
2009-10-12Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, s...Ted Kremenek
2009-09-24When building CFGs, no longer reverse the statements in the CFGBlock. InsteadTed Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-27CFG construction: Abort CFG construction when processing a CompoundStmt if anyTed Kremenek
2009-08-24Don't try to evaluate an expression that is type- or value-dependent while bu...Douglas Gregor
2009-08-23Replace cerr with errs().Benjamin Kramer
2009-08-20If the 'while' has an empty body, set the body to the continue target block.Zhongxing Xu
2009-08-20If the body of for loop is empty, set its body to the continue target.Zhongxing Xu
2009-07-25Add noreturn as a type attribute, handle printing for them and handleMike Stump
2009-07-24Add doxygen comments and simplify expression.Ted Kremenek
2009-07-24Introduce a new variant type 'TryResult' to represent the result ofTed Kremenek
2009-07-23Refactor and push the evaluation as late as possible.Mike Stump
2009-07-22Improve CFG support for C++ throw expressions.Mike Stump
2009-07-22Make 'SaveAndRestore' and friends reusable classes in libAnalysis.Ted Kremenek
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-18Fix some fallout from CFGBuilder restructuring: all expressions that we expli...Ted Kremenek
2009-07-17Fix possible null dereference in CFG construction.Ted Kremenek
2009-07-17Restructure CFG builder to have just one visitor path instead of two. The resultTed Kremenek
2009-07-17Move WalkAST logic for 'ChooseExpr' to 'VisitChooseExpr'.Ted Kremenek
2009-07-17Move WalkAST logic for 'ConditionalOperator' into 'VisitConditionalOperator'.Ted Kremenek
2009-07-17Remove stale comments.Ted Kremenek
2009-07-17clean up this code, add the fixme back.Chris Lattner
2009-07-17Refactor code into a new CallExpr::getDirectCallee() method. Simplify someZhongxing Xu
2009-07-17Fixup indentation of rest of switch statement to match llvm codingMike Stump
2009-07-17Make noreturn functions alter the CFG.Mike Stump
2009-07-16Move the source-level CFG from libAST to libAnalysis.Ted Kremenek