bug fix - during call site transfer func we temporarily double nodes per allocation...
authorjjenista <jjenista>
Mon, 18 Apr 2011 20:43:56 +0000 (20:43 +0000)
committerjjenista <jjenista>
Mon, 18 Apr 2011 20:43:56 +0000 (20:43 +0000)
commit26e9287bfa433acdba9e81d28fa2057eee149270
treec7561062a90294a49b5b3502849557907ce45d88
parentf1136ecd8d324adcf8aa8dcf83f2b38c39eb8fd6
bug fix - during call site transfer func we temporarily double nodes per allocation site where nodes from the callee are called shadow nodes, and nodes that were in the caller before the call are named normal nodes.  During the transfer we move the shadow newest, which are the newest, into the caller and merge normal nodes down to make room.  The bug is that during the merge of normal nodes in this procedure there shoudl be a corresponding aging of reachability states, so when global sweep occurred after the node merging process some states look imprecise and get swept away
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/cc-paper-example/makefile
Robust/src/Tests/disjoint/cc-paper-example/test.java