The parameter "current" is only used to detect back edges, yet is passed is a pointer, and can point outside the bytecode area when checkTarget() is called for fall-through blocks. This is fragile, a future change could naively dereference current and crash or read invalid data. It might be a good idea to distinguish fall-through paths from branch paths, and simplify checkTarget for fall-through paths since they cannot be back edges.
Still valid, and FIXME is still in the code. Linking to the Code Cleanup tracker.
Assignee: edwsmith → nobody
Tamarin is a dead project now. Mass WONTFIX.
Status: NEW → RESOLVED
Last Resolved: a month 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.