aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFG.cpp
AgeCommit message (Expand)Author
2010-04-11Fix CFG bug where bases of member expressions were not always evaluated in a ...Ted Kremenek
2010-04-11Fix bug in AddStmtChoice:asLValue() where 'AsLValueNotAlwaysAdd' would not be...Ted Kremenek
2010-04-11Sort visitor methods. No functionality change.Ted Kremenek
2010-03-30the big refactoring bits of PR3782.Rafael Espindola
2010-03-29Be a bit more consistent in using operator->Rafael Espindola
2010-03-03Simplify code a bit and remove unneeded semicolons.Benjamin Kramer
2010-03-02[CFG]Ted Kremenek
2010-02-24Always add CallExpr as block-level expression. Inline-based interproceduralZhongxing Xu
2010-02-22Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out toDaniel Dunbar
2010-02-22Simplify code: Succ is guaranteed to be not NULL.Zhongxing Xu
2010-01-21Improve unreachable code warnings with respect to dead binary andMike Stump
2010-01-21Speed up compilation by avoiding generating exceptional edges fromMike Stump
2010-01-21Add infrastructure to add base initializers and member initializers toMike Stump
2010-01-20Wire up the EH context for the catch clauses to the outer EH context. WIP.Mike Stump
2010-01-20Add an exceptional edge from the try terminated block to the outer EHMike Stump
2010-01-19Add CFG support for the start and end of scopes and infrastructure forMike Stump
2010-01-19Tighten code and rework indentation of some if() branches (for readability). ...Ted Kremenek
2010-01-19Remove extra space in uses of 'assert()'.Ted Kremenek
2010-01-19Re-alphabetize cases in switch statement.Ted Kremenek
2010-01-19Add try/catch CFG support. Also improve throw CFG support. WIP.Mike Stump
2009-12-24Add CFG support for the initializer of the condition variable of a ForStmt.Ted Kremenek
2009-12-24CFG tweak: in a WhileStmt, the condition variable initializer is evaluated ev...Ted Kremenek
2009-12-24Add CFG support for the initializer of the condition variable of a WhileStmt.Ted Kremenek
2009-12-24Add CFG support for the initializer of the condition variable of a SwitchStmt.Ted Kremenek
2009-12-23Tidy up FindSubExprAssignments to not deference the child_iterator multiple t...Ted Kremenek
2009-12-23Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-12-15Start the ball rolling on C++ support in the static analyzer. ForTed Kremenek
2009-12-04Include BlockDeclRefExprs in constructed CFGs.Ted Kremenek
2009-11-30Adapt to the DOTGraphTraits changes in LLVM.Tobias Grosser
2009-11-28lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam
2009-11-25Allow building of CFGs for ASTs that contain BlockExprs.Ted Kremenek
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