aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFG.cpp
AgeCommit message (Expand)Author
2011-03-10Require AddStmtChoice::alwaysAdd() to take a CFGBuilder& and Stmt*. Prep for...Ted Kremenek
2011-03-10Remove unused 'AddStmtChoice' argument to CFGBuilder::appendStmt().Ted Kremenek
2011-03-10Rework interaction between AnalysisContext and CFG::BuildOptions to keep a Bu...Ted Kremenek
2011-03-07Fix null dereference in CFGBlock::FilterEdge that was reported in PR 9412.Ted Kremenek
2011-03-04Correctly handle nested switch statements in CFGBuilder when on switch statem...Ted Kremenek
2011-03-03Teach CFGImplicitDtor::getDestructorDecl() about arrays of objects with destr...Ted Kremenek
2011-03-03Teach CFGImplicitDtor::getDestructorDecl() about reference types.Ted Kremenek
2011-03-03Let's go with John and Ted's preferred fix.Matt Beaumont-Gay
2011-03-02Keep GCC from complaining about falling off the end of the function.Matt Beaumont-Gay
2011-03-02Introduce CFGImplicitDtor::isNoReturn() to query whether a destructor actuall...Ted Kremenek
2011-03-01Teach CFGBuilder to prune trivially unreachable case statements.Ted Kremenek
2011-03-01In preparation for fixing PR 6884, rework CFGElement to have getAs<> return p...Ted Kremenek
2011-02-28Get rid of the areExceptionsEnabled() getter from LangOptions.Anders Carlsson
2011-02-24Fix tiny error in CFG construction for BinaryConditionalOperators, making sur...Ted Kremenek
2011-02-23Teach CFGBuilder about null pointer constants in conditionals, and how they c...Ted Kremenek
2011-02-21Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel.Ted Kremenek
2011-02-20Add a LangOptions::areExceptionsEnabled and start using it.Anders Carlsson
2011-02-19Fix a -Wuninitialized warning; it's actually a false positive,John McCall
2011-02-17Change the representation of GNU ?: expressions to use a different expressionJohn McCall
2011-02-17Step #1/N of implementing support for __label__: split labels intoChris Lattner
2011-02-15Fix memory leak in CFGBuilder resulting from tracking scope information using...Ted Kremenek
2011-02-13Give some convenient idiomatic accessors to Stmt::child_range andJohn McCall
2011-01-19Change QualType::getTypePtr() to return a const pointer, then change aJohn McCall
2011-01-08Renamed CXXBaseOrMemberInitializer to CXXCtorInitializer. This is both shorter,Sean Hunt
2011-01-07Fix crash in CFGBuilder on invalid code. We still needTed Kremenek
2010-12-17Rename several methods/functions in the analyzerTed Kremenek
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-12-06Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoreticalJohn McCall
2010-12-04More anonymous struct/union redesign. This one deals with anonymous field use...Francois Pichet
2010-12-04Although we currently have explicit lvalue-to-rvalue conversions, they'reJohn McCall
2010-11-24print asLValue attribute of CFGStmt.Zhongxing Xu
2010-11-24Refactor AddStmtChoice to make it easier to use; also add comments on how the...Zhanyong Wan
2010-11-22Stylistic changes to CFG.cpp:Zhanyong Wan
2010-11-22Fix PR8419. Reviewed by kremenek and xuzhongxing.Zhanyong Wan
2010-11-15Remove invalid assertion from CFG builder. When building the CFG pieces for ...Ted Kremenek
2010-11-14Revert r118991.Zhongxing Xu
2010-11-13Do not add implicit dtors for CXXBindTemporaryExpr with elidable Zhongxing Xu
2010-11-03Do not add elidable CXXConstructExpr as block-level expr.Zhongxing Xu
2010-11-03Added generating destructors for temporary objects. Two cases I know of, that...Marcin Swiderski
2010-11-01Explicitly handle CXXBindTemporaryExpr, CXXFunctionalCastExpr, Zhongxing Xu
2010-11-01Make all CXXConstructExpr's block-level expressions. This is required by Zhongxing Xu
2010-10-29Added CFGTerminator class, that holds information about CFGBlock terminator s...Marcin Swiderski
2010-10-27If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExprZhongxing Xu
2010-10-25Added generation of destructors for member constant size arrays.Marcin Swiderski
2010-10-25Added generation of destructors for constant size arrays.Marcin Swiderski
2010-10-24- Fixed subexpressions evaluation order for binary operators to match order i...Marcin Swiderski
2010-10-05* Simplify codeZhongxing Xu
2010-10-05Added support for base and member destructors in destructor.Marcin Swiderski
2010-10-04Added support for C++ initializers in CFG.Marcin Swiderski
2010-10-01Now the whether adding implicit dtors is controlled by cmd option.Zhongxing Xu