fix mistake....allocnodes are like disjoint heapregionnodes...
authorbdemsky <bdemsky>
Tue, 22 Mar 2011 09:15:09 +0000 (09:15 +0000)
committerbdemsky <bdemsky>
Tue, 22 Mar 2011 09:15:09 +0000 (09:15 +0000)
commitf239b540309f4fd092e4b51cde8821265faf5b72
treeebfce82d7ec81129e925a430a8858227e48b26b8
parent3ca30909fc2b49463a173107762c8e11769a01a2
fix mistake....allocnodes are like disjoint heapregionnodes...
create new class allocsitenode which is like allocsite from disjointness...
hacked rcr file so it would compile with this change..unclear if it will work correctly
Robust/src/Analysis/Disjoint/EffectsAnalysis.java
Robust/src/Analysis/Pointer/AllocFactory.java
Robust/src/Analysis/Pointer/Pointer.java
Robust/src/IR/Flat/RuntimeConflictResolver.java