aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFG.cpp
AgeCommit message (Expand)Author
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