Closed Bug 553425 Opened 14 years ago Closed 14 years ago

"tail position" check

Categories

(Servo Graveyard :: Rust, defect)

Product:
Servo Graveyard
Platform:
x86
macOS
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED FIXED

People

(Reporter: dherman, Assigned: dherman)

Details

Implement the "tail position" check-- which turns out, in a statement-oriented language, to be more about doing a "must-return" analysis and rejecting dead code that follows code that must-return.

Dave
Implemented in 317c45968db0, with some tests.

Dave
Status: NEW → RESOLVED
Closed: 14 years ago
Resolution: --- → FIXED
Group: servo
You need to log in before you can comment on or make changes to this bug.