481969 - unreachable code generates verify error #1030, Stack depth unbalanced

Status: VERIFIED DUPLICATE of bug 477133

(Tamarin Graveyard :: Virtual Machine, defect)

Description

[Chris Peyer]

Steps to reproduce:
Compile and execute this code
	
	var array:Array = ["test1"];
	var i:int = 0;
	if (i  == 0)
	{
		trace("test ", array[i, array[i]]);
	}

 Actual Results:
 compile without errors, but the swf becomes corrupted and cause a runtime error (verify error #1030, Stack depth unbalanced)
 
 Expected Results:
 should get the same result than when you remove the if: error #1069, property not found
 
 

This bug transferred from: http://bugs.adobe.com/jira/browse/ASC-3674

Comment 1

[Chris Peyer]

Attachment: Stacktrace for bug.

Comment 2

[Chris Peyer]

Verified bug avmshell d1534.

Comment 3

[Lars T Hansen]

This bug must be misnamed, there are no unmatched square brackets here.  What we're seeing is technically an ASC bug (generates code that does not verify), though if we're generous it's the verifier being overly strict.

Comment 4

[Dan Smith]

Assigning to Jeff Dyer to fix verifier or ASC.

Comment 5

[Dan Smith]

Possibly related to bug 477133.

Comment 6

[Lars T Hansen]

Back to Jeff for triage - is this properly an ASC bug?

Comment 8

[Tom Harwood]

This isn't an unreachable code issue.  Note that the test is tautologically true, and anyhow this is caused by ASC doing poor data flow around the conditional.