Closed Bug 689693 Opened 13 years ago Closed 6 years ago

VerifyError 1030 running code with nested try/catch regions

Categories

(Tamarin Graveyard :: Verifier, defect)

defect
Not set
critical

Tracking

(Not tracked)

RESOLVED WONTFIX

People

(Reporter: tharwood, Unassigned)

Details

Attachments

(2 files)

Attached file testcase
Attached testcase suffers VerifyError 1030 with AVM "Serrano_Anza CL #956398" -- previous versions of the AVM ran the (ASC-compiled) ABC with no error.

Tried cutting the testcase down a bit but that just moved the error site.
Verified failure with this ABC.
Attachment #562838 - Attachment mime type: application/applefile → text/plain
Tamarin is a dead project now. Mass WONTFIX.
Status: NEW → RESOLVED
Closed: 6 years ago
Resolution: --- → WONTFIX
Tamarin isn't maintained anymore. WONTFIX remaining bugs.
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: