Closed Bug 413811 Opened 18 years ago Closed 18 years ago

growthGuard is not unregistered when exception happened in Verifier::verify

Categories

(Tamarin Graveyard :: Virtual Machine, defect)

Product:
Tamarin Graveyard
Component:
Virtual Machine
Platform:
x86
SunOS
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
VERIFIED INVALID

People

(Reporter: leon.sha, Assigned: leon.sha)

Details

Attachments

(1 obsolete file)

growthGuard is not unregistered when exception happened in Verifier::verify. This will cause growthGuard not released correct.
Attached patch patch (obsolete) — — Splinter Review
Attachment #298905 - Flags: review?(treilly)
Shouldn't the catch be at the end of the method, some verifyFailed's were missed. Wait what branch are you on? I see this code in tamarin-central already...
Attachment #298905 - Attachment is obsolete: true
Attachment #298905 - Flags: review?(treilly)
Yes, my fault. It has been fixed long time ago.
Status: NEW → RESOLVED
Closed: 18 years ago
Resolution: --- → INVALID
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: