bug fix on the Loop terminate analysis: as long as a field is not appeared in a flat...
authoryeom <yeom>
Tue, 20 Sep 2011 23:13:09 +0000 (23:13 +0000)
committeryeom <yeom>
Tue, 20 Sep 2011 23:13:09 +0000 (23:13 +0000)
commit493f71c489e973d428b31dc7902a568217a364a9
treea5d54b38f60799c07e210dbf132854a55828dd22
parent890c448e14fd7e016be47cb82859402b4211b013
bug fix on the Loop terminate analysis: as long as a field is not appeared in a flat set field node, it is suitable for the guard condition variable
Robust/src/Analysis/Loops/LoopTerminate.java