| Issue 5: | Simple NIMBY analysis throws frozen exception | |
| 1 person starred this issue and may be notified of changes. | Back to list |
What steps will reproduce the problem? 1. Run NIMBY on the attached program What is the expected output? What do you see instead? We expect no errors. Instead, the runtime exception "frozen is thrown." java.lang.IllegalStateException: Object cannot be packed or is frozen. at edu.cmu.cs.plural.track.PluralTupleLatticeElement.packReceiver(PluralTupleLatticeElement.java:638) at edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.wrangleIntoPackedStates(SingleTruthFractionalAnalysis.java:596) at edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.wrangleIntoPackedState(SingleTruthFractionalAnalysis.java:519) at edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.checkDynamicStateTest(SingleTruthFractionalAnalysis.java:450) at edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.endVisit(SingleTruthFractionalAnalysis.java:181) at org.eclipse.jdt.core.dom.ReturnStatement.accept0(ReturnStatement.java:137) at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2476) at org.eclipse.jdt.core.dom.ASTNode.acceptChildren(ASTNode.java:2546) at org.eclipse.jdt.core.dom.Block.accept0(Block.java:135) at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2476) at org.eclipse.jdt.core.dom.ASTNode.acceptChild(ASTNode.java:2523) at org.eclipse.jdt.core.dom.MethodDeclaration.accept0(MethodDeclaration.java:501) at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2476) at edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis.analyzeMethod(SingleTruthFractionalAnalysis.java:137) at edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis.runAnalysis(AbstractCrystalMethodAnalysis.java:69) at edu.cmu.cs.crystal.Crystal.runAnalysesOnSingleUnit(Crystal.java:490) at edu.cmu.cs.crystal.Crystal.runAnalysesOnMultiUnit(Crystal.java:450) at edu.cmu.cs.crystal.Crystal.runAnalyses(Crystal.java:316) at edu.cmu.cs.crystal.internal.CrystalFileAction$1.run(CrystalFileAction.java:85) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55)
Sep 11, 2008
This error is only thrown on the given example when we omit, "fieldAccess = true," which is necessary anyway. I am down-grading this defect. Then, I need to actually try it to make sure it still exists.
Labels:
-Priority-Critical Priority-Medium
Sep 12, 2008
This test program no longer throws any exception.
Status:
Invalid
|
550 bytes View Download