Fix bug for synchronized blocks. Inside a synchronized block, there could have return...
authorjzhou <jzhou>
Tue, 15 Mar 2011 00:10:53 +0000 (00:10 +0000)
committerjzhou <jzhou>
Tue, 15 Mar 2011 00:10:53 +0000 (00:10 +0000)
commita4eea432ce784745c71cc700863951a8da6b2eea
tree98f52a03ef6c6084efc497a953f1d7ad1fefdf3f
parent810f704b8aed6ce1cd0545ca5b96651900328a96
Fix bug for synchronized blocks. Inside a synchronized block, there could have return statements. Need to make sure that the locks grabbed should have been released before these return statements execute
Robust/src/IR/Flat/BuildFlat.java
Robust/src/Tests/MGC/SynchonizedTest.java