summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/CFG.cpp
Commit message (Expand)AuthorAgeFilesLines
* Simplify code: Succ is guaranteed to be not NULL.Zhongxing Xu2010-02-221-28/+28
* Improve unreachable code warnings with respect to dead binary andMike Stump2010-01-211-1/+2
* Speed up compilation by avoiding generating exceptional edges fromMike Stump2010-01-211-9/+35
* Add infrastructure to add base initializers and member initializers toMike Stump2010-01-211-4/+12
* Wire up the EH context for the catch clauses to the outer EH context. WIP.Mike Stump2010-01-201-9/+9
* Add an exceptional edge from the try terminated block to the outer EHMike Stump2010-01-201-2/+16
* Add CFG support for the start and end of scopes and infrastructure forMike Stump2010-01-191-18/+76
* Tighten code and rework indentation of some if() branches (for readability). ...Ted Kremenek2010-01-191-16/+15
* Remove extra space in uses of 'assert()'.Ted Kremenek2010-01-191-7/+7
* Re-alphabetize cases in switch statement.Ted Kremenek2010-01-191-9/+9
* Add try/catch CFG support. Also improve throw CFG support. WIP.Mike Stump2010-01-191-10/+100
* Add CFG support for the initializer of the condition variable of a ForStmt.Ted Kremenek2009-12-241-0/+13
* CFG tweak: in a WhileStmt, the condition variable initializer is evaluated ev...Ted Kremenek2009-12-241-14/+13
* Add CFG support for the initializer of the condition variable of a WhileStmt.Ted Kremenek2009-12-241-1/+14
* Add CFG support for the initializer of the condition variable of a SwitchStmt.Ted Kremenek2009-12-241-2/+13
* Tidy up FindSubExprAssignments to not deference the child_iterator multiple t...Ted Kremenek2009-12-231-7/+10
* Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek2009-12-231-1/+13
* Add (initial?) static analyzer support for handling C++ references.Ted Kremenek2009-12-161-52/+74
* Start the ball rolling on C++ support in the static analyzer. ForTed Kremenek2009-12-151-0/+2
* Include BlockDeclRefExprs in constructed CFGs.Ted Kremenek2009-12-041-10/+0
* Adapt to the DOTGraphTraits changes in LLVM.Tobias Grosser2009-11-301-2/+4
* lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam2009-11-281-4/+3
* Allow building of CFGs for ASTs that contain BlockExprs.Ted Kremenek2009-11-251-3/+6
* Remove stale comment and tighten code.Ted Kremenek2009-10-201-6/+1
* Use llvm::OwningPtr in CFGBuilder, fixing a leak on an error path.Ted Kremenek2009-10-201-12/+7
* Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, s...Ted Kremenek2009-10-121-63/+72
* When building CFGs, no longer reverse the statements in the CFGBlock. InsteadTed Kremenek2009-09-241-16/+8
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-97/+97
* CFG construction: Abort CFG construction when processing a CompoundStmt if anyTed Kremenek2009-08-271-0/+3
* Don't try to evaluate an expression that is type- or value-dependent while bu...Douglas Gregor2009-08-241-1/+2
* Replace cerr with errs().Benjamin Kramer2009-08-231-5/+4
* 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
OpenPOWER on IntegriCloud