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