← Back to index | Original Bugzilla link

Bug 9610 – Parameters to final class method corrupted in postcondition

Status: NEW
Severity: normal
Priority: P3
Component: dmd
Product: D
Version: D2
Platform: All
OS: All
Creation time: 2013-02-27T10:34:24Z
Last change time: 2024-12-13T18:04:22Z
Assigned to: No Owner
Creator: Simon Harris

Attachments

ID	Filename	Summary	Content-Type	Size
1195	final.d	Shows how permutations of pre- and post-conditions affect parameter integrity.	application/octet-stream	2158

Comments

Comment #0 by dlang — 2013-02-27T10:34:24Z

Created attachment 1195 Shows how permutations of pre- and post-conditions affect parameter integrity. In the postcondition of a class method marked as final, method parameters are in scope, but have corrupted values. This happens if the method has no precondition, OR a precondition that doesn't access any function parameters. Tested with dmd git v2.060-1496-g2352d02 on OS X 10.8.2.

Comment #1 by maxim — 2013-02-27T10:44:18Z

I can reproduce on linux, remove OS specific tag.

Comment #2 by robert.schadek — 2024-12-13T18:04:22Z

THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18526 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB