summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/CFG.cpp
Commit message (Expand)AuthorAgeFilesLines
* If the 'while' has an empty body, set the body to the continue target block.Zhongxing Xu2009-08-201-1/+1
* If the body of for loop is empty, set its body to the continue target.Zhongxing Xu2009-08-201-1/+1
* Add noreturn as a type attribute, handle printing for them and handleMike Stump2009-07-251-16/+20
* Add doxygen comments and simplify expression.Ted Kremenek2009-07-241-1/+6
* Introduce a new variant type 'TryResult' to represent the result ofTed Kremenek2009-07-241-106/+61
* Refactor and push the evaluation as late as possible.Mike Stump2009-07-231-105/+54
* Improve CFG support for C++ throw expressions.Mike Stump2009-07-221-0/+21
* Make 'SaveAndRestore' and friends reusable classes in libAnalysis.Ted Kremenek2009-07-221-12/+1
* Wire up CFG improvements for __builtin_choose_expr.Mike Stump2009-07-211-2/+20
* Wire up CFG improvements for do { } while () when the condition is known.Mike Stump2009-07-211-7/+26
* Wire up for statement CFG improvements for conditionals that are known.Mike Stump2009-07-211-10/+31
* Wire up CFG improvements for while when the condition is known.Mike Stump2009-07-211-6/+26
* Add yet more analysis for CFGs involving conditionals that are actually const...Mike Stump2009-07-201-25/+99
* Fix some fallout from CFGBuilder restructuring: all expressions that we expli...Ted Kremenek2009-07-181-20/+24
* Fix possible null dereference in CFG construction.Ted Kremenek2009-07-171-0/+1
* Restructure CFG builder to have just one visitor path instead of two. The resultTed Kremenek2009-07-171-328/+407
* Move WalkAST logic for 'ChooseExpr' to 'VisitChooseExpr'.Ted Kremenek2009-07-171-34/+35
* Move WalkAST logic for 'ConditionalOperator' into 'VisitConditionalOperator'.Ted Kremenek2009-07-171-58/+61
* Remove stale comments.Ted Kremenek2009-07-171-6/+2
* clean up this code, add the fixme back.Chris Lattner2009-07-171-11/+6
* Refactor code into a new CallExpr::getDirectCallee() method. Simplify someZhongxing Xu2009-07-171-8/+3
* Fixup indentation of rest of switch statement to match llvm codingMike Stump2009-07-171-690/+667
* Make noreturn functions alter the CFG.Mike Stump2009-07-171-4/+34
* Move the source-level CFG from libAST to libAnalysis.Ted Kremenek2009-07-161-0/+1924