projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25eef1d) | patch
Bug fix: in some cases we really do want the heap region inherent reach set to have...
authorjjenista <jjenista>
Fri, 10 Jun 2011 18:26:28 +0000 (18:26 +0000)
committerjjenista <jjenista>
Fri, 10 Jun 2011 18:26:28 +0000 (18:26 +0000)
commita7ec16941adfee35e209a58e5b4a6bdb1d6fdb33
tree08a12dbeb7f0908b12bb00261beac05bdb8a07dftree | snapshot
parent25eef1d4bd51a28bec642820df8b052667a1a2edcommit | diff
Bug fix: in some cases we really do want the heap region inherent reach set to have preds other than true, but when we allocate a new node, the state on that node should always have a true pred also.
Robust/src/Analysis/Disjoint/DisjointAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/HeapRegionNode.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachSet.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachState.java diff | blob | history
Robust/src/Analysis/Disjoint/RefEdge.java diff | blob | history
Robust/src/Benchmarks/oooJava/master-makefile diff | blob | history
Irvine Research Compiler