March 06, 2019 [Issue 19722] New: botched implementation of semantic3Errors causes compiler assert fail | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=19722 Issue ID: 19722 Summary: botched implementation of semantic3Errors causes compiler assert fail Product: D Version: D2 Hardware: All OS: All Status: NEW Severity: regression Priority: P1 Component: dmd Assignee: nobody@puremagic.com Reporter: bugzilla@digitalmars.com Introduced by https://github.com/dlang/dmd/pull/5075 Specifically, the `semantic3Errors` can be set when gagged, but remain set when later ungagged. In opover.d, a function looked up with `semantic3Errors` can cause another expression to be set to `new ErrorExp()`. This expression then causes a cascaded error in `StatementSemanticVisitor.visit(ExpStatement)` where the `return setError()` is executed. `setError()` asserts if the global error count is not set. If that assert is disabled, another one asserts in `e2ir.d` which is not expecting an `ErrorStatement`. It's hard to come up with a non-Phobos test case for this due to the massive complexity of Phobos. -- |
Copyright © 1999-2021 by the D Language Foundation