digitalmars.D.bugs - [Issue 16967] New: No switch case fallthrough warnings in in/out
- via Digitalmars-d-bugs (46/46) Dec 12 2016 https://issues.dlang.org/show_bug.cgi?id=16967
https://issues.dlang.org/show_bug.cgi?id=16967 Issue ID: 16967 Summary: No switch case fallthrough warnings in in/out contracts Product: D Version: D2 Hardware: x86_64 OS: Linux Status: NEW Severity: minor Priority: P1 Component: dmd Assignee: nobody puremagic.com Reporter: benpnz gmail.com Switch case fallthrough warnings are not generated for code in in/out contracts. ----- import std.stdio; void main() { auto str = "test"; void testFunc ( ) in { switch (str) { case "test": writeln("test"); // Does not generate a warning default: break; } } body { switch (str) { case "test": writeln("test"); // Generates a warning default: break; } } testFunc(); } ----- --
Dec 12 2016