Issue 5: Simple NIMBY analysis throws frozen exception
Status:  Invalid
Owner:
Closed:  Sep 2008
Project Member Reported by nels.bec...@gmail.com, Aug 28, 2008
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)

 
Aug 28, 2008
Project Member #1 nels.bec...@gmail.com
(No comment was entered for this change.)
AtomicShare.java
550 bytes   View   Download
Sep 11, 2008
Project Member #2 nels.bec...@gmail.com
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
Project Member #3 nels.bec...@gmail.com
This test program no longer throws any exception.
Status: Invalid