projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 795013e) | patch
Bug fix where two isolated heap regions with empty reachability sets have
authorjjenista <jjenista>
Wed, 24 Sep 2008 22:49:38 +0000 (22:49 +0000)
committerjjenista <jjenista>
Wed, 24 Sep 2008 22:49:38 +0000 (22:49 +0000)
commit001c48225c8b3a820d1408bf22bfa1ca0ece5279
tree9798ac1c72bbd3a2a7bec1f2c9bf54f77eac78e4tree | snapshot
parent795013e772dbc626ffaf321376a971b74df91cf1commit | diff
Bug fix where two isolated heap regions with empty reachability sets have
a reference edge created between them.  Actually, the reachability sets
arent' empty, they contain the empty token tuple set, but the edge that
gets created has the empty reachability set.  Changed the field set method
to detect this and fill it in.  This is not a good fix, find the reason
why it happens in the first place.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java diff | blob | history
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java diff | blob | history
Irvine Research Compiler