Bug 7224 – Throwing precondition of nothrow function

Status
NEW
Severity
normal
Priority
P3
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2012-01-04T14:14:10Z
Last change time
2024-12-13T17:57:36Z
Keywords
accepts-invalid
Assigned to
No Owner
Creator
bearophile_hugs
Moved to GitHub: dmd#18396 →

Comments

Comment #0 by bearophile_hugs — 2012-01-04T14:14:10Z
This function compiles with no errors with DMD 2.058head: bool foo() { throw new Exception(""); } void main() nothrow in { assert(foo()); } body {} but main() raises an exception (main() doesn't raise an exception in release mode). I think this is a problem.
Comment #1 by robert.schadek — 2024-12-13T17:57:36Z
THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18396 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB