aboutsummaryrefslogtreecommitdiff
path: root/lib/AST/CFG.cpp
AgeCommit message (Expand)Author
2009-07-16Move the source-level CFG from libAST to libAnalysis.Ted Kremenek
2009-07-03Fix a horrible CFG bug reported in <rdar://problem/7027684>. The wrong successorTed Kremenek
2009-06-30Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.Chris Lattner
2009-06-24Remove unneeded #includes.Ted Kremenek
2009-06-24Update for LLVM API changes.Owen Anderson
2009-05-29Create a new PrintingPolicy class, which we pass down through the ASTDouglas Gregor
2009-05-05source-level CFG: have the body for the @synchronized start with its own basicTed Kremenek
2009-05-02Add CFG support for @synchronized. This fixes <rdar://problem/6848820>.Ted Kremenek
2009-05-02Fix crasher in CFG construction when not properly handling ASTs that containTed Kremenek
2009-04-28CFG: Add "loop back" block for do...while statements.Ted Kremenek
2009-04-28CFG: 'WhileStmts' needs an extra block to indicate the "loop back" path.Ted Kremenek
2009-04-28CFG:Ted Kremenek
2009-04-07CFG: when there is not continue or break target, mark the CFG as bad.Ted Kremenek
2009-04-07Remove hack support for @try...@finally in source-level CFGs. The current hackTed Kremenek
2009-04-01CFG: For 'if(...) {}' (empty body) construct an empty CFGBlock so that we canTed Kremenek
2009-03-30Add partial CFG support for Objective-C exception-handling blocks. We basicallyTed Kremenek
2009-03-28some random cleanupsChris Lattner
2009-03-28rename some methods.Chris Lattner
2009-02-26Fixup spacing.Mike Stump
2009-02-13Remove DeclGroupOwningRef, since we intend for declarations to be ownedDouglas Gregor
2009-01-20Remove ScopedDecl, collapsing all of its functionality into Decl, soDouglas Gregor
2008-12-09Add preliminary CFG support for @throw. We basically treat it like a return ...Ted Kremenek
2008-12-05Introduce basic support for dependent types, type-dependentDouglas Gregor
2008-11-24Fix CFG bug where the 'increment' block for a 'for' statement would not beTed Kremenek
2008-11-14Fix CFG construction for ObjCForCollectionStmt: 'element' expression can be a...Ted Kremenek
2008-11-13Hook up "BodyBlock", not "Block".Ted Kremenek
2008-11-13Correctly connect 'continue' and 'break' statements in Objective-C fast enume...Ted Kremenek
2008-11-13Fix bug where the body block of an ObjCForCollectionStmt would not properly g...Ted Kremenek
2008-11-12ObjCForCollectionStmts are block-level expressions.Ted Kremenek
2008-11-11Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expr...Sebastian Redl
2008-11-11Add CFG support for Objective-C 2.0 fast enumeration 'for' statement:Ted Kremenek
2008-10-07Migrate DeclStmt over to using a DeclGroup instead of a pointer to a ScopedDe...Ted Kremenek
2008-10-06Use DeclStmt::decl_iterator to walk a group of Decl*'s instead of using the S...Ted Kremenek
2008-10-04Reverse the RHSBlock of LogicalOp && and ||Zhongxing Xu
2008-09-26Add CFG support for implicit-control flow for VLA size expressions within an ...Ted Kremenek
2008-09-26Do not create CFGs for functions/methods using blocks (need to add control-fl...Ted Kremenek
2008-09-26Move VLA processing logic from LiveVariables to CFG construction. This way a...Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek
2008-09-13Patch by Csaba Hruska!Ted Kremenek
2008-09-04Fix CFG construction bug:Ted Kremenek
2008-08-11More #include cleaningDaniel Dunbar
2008-08-06Cleanup some processing with DeclStmt, and gradually start using the internal...Ted Kremenek
2008-08-06Always construct the BumpPtrAllocator used by CFG as an instance variable.Ted Kremenek
2008-08-04Nico Weber:Ted Kremenek
2008-05-29Fix one strict-aliasing warning.Ted Kremenek
2008-05-29- Move ObjC Expresssion AST's from Expr.h => ExprObjC.hSteve Naroff
2008-05-16Added CFGBlock::hasBinaryBranchTerminator().Ted Kremenek
2008-04-28Bug fix in CFG::getBlockEdgeImpl(): Use a BumpPtrAllocator to allocateTed Kremenek
2008-04-16Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a ...Ted Kremenek
2008-03-17Bug fix in CFG construction: VisitCompoundStmt should return the last created...Ted Kremenek