aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/FlowSensitive/DataflowSolver.h
AgeCommit message (Expand)Author
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-07-20now that we have a centralized place to do so, add some using declarations forChris Lattner
2011-03-01In preparation for fixing PR 6884, rework CFGElement to have getAs<> return p...Ted Kremenek
2011-02-11Don't report dead stores on unreachable code paths. Fixes <rdar://problem/84...Ted Kremenek
2010-09-16Fix the clang build after Zhongxing Xu's commit.John McCall
2010-09-16Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patchZhongxing Xu
2010-07-23Dataflow solver: Don't overrwite the initial value of a block with top unless...Ted Kremenek
2010-03-31For reverse data flow analyses, enqueue the blocks in reverse order.Ted Kremenek
2010-03-31Tweak DataFlowSolver's worklist data structure to have an ordered worklistTed Kremenek
2009-11-15Make a couple more headers standaloneDouglas Gregor
2009-10-12Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, s...Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-15Extend the ProgramPoint to include the context information LocationContext,Zhongxing Xu
2009-07-20Update DataflowSolver to handle the case where a successor/predecessor blockTed Kremenek
2009-07-16Move the source-level CFG from libAST to libAnalysis.Ted Kremenek
2009-01-30Fix horrible non-termination bug in LiveVariables. The issue was thatTed Kremenek
2008-09-23Fix PR 2819: Compute dataflow values for all CFG blocks by not relying on hav...Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek
2008-04-16Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a ...Ted Kremenek
2008-04-15Fix bug in terminator processing for uninitialized-values: simply ignore the ...Ted Kremenek
2008-04-15Added initial support into the flow-sensitive dataflow solver to visit the Bl...Ted Kremenek
2008-01-18Changed DataflowSolver to always associated recorded dataflow values withTed Kremenek
2008-01-17Modified the notion of "Block-level expressions" in CFGs to include Stmt*. ThisTed Kremenek
2008-01-17Added support to dataflow solver to (when requested) also record dataflowTed Kremenek
2008-01-11Renamed ProgramEdge.h to ProgramPoint.hTed Kremenek
2008-01-11Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdgeTed Kremenek
2007-12-29Don't attribute in file headers anymore. See llvmdev for theChris Lattner
2007-10-02Moved ProgramEdge out out include/.../Analysis/PathSensitive to include/.../A...Ted Kremenek
2007-09-25Moved "DataflowSolver.h" to the "include/" subtree. Adjusted clientTed Kremenek