Date: Wed, 26 Mar 2025 21:59:19 +0200
On Wed, 26 Mar 2025 at 17:16, JJ Marr via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> I am actually trying to fix this unclear diagnostic in Clang. `assert` is allowed in a constant expression by the spec (so long as the expression is true), and the way most libcs fail an assert during constant evaluation is by calling an implementation-defined function that is not a constant expression (e.g. `__assert_fail`).
>
> https://github.com/llvm/llvm-project/pull/130458
>
> I'd welcome your input on that PR. I'm overloaded with schoolwork and can't figure out why I broke a bunch of test cases.
Hard to say without knowing what those test failures are, but this is
probably also not the right forum to discuss the details of
how to improve the diagnostics in clang, and the various LLVM forums
and their patch review are?
<std-proposals_at_[hidden]> wrote:
>
> I am actually trying to fix this unclear diagnostic in Clang. `assert` is allowed in a constant expression by the spec (so long as the expression is true), and the way most libcs fail an assert during constant evaluation is by calling an implementation-defined function that is not a constant expression (e.g. `__assert_fail`).
>
> https://github.com/llvm/llvm-project/pull/130458
>
> I'd welcome your input on that PR. I'm overloaded with schoolwork and can't figure out why I broke a bunch of test cases.
Hard to say without knowing what those test failures are, but this is
probably also not the right forum to discuss the details of
how to improve the diagnostics in clang, and the various LLVM forums
and their patch review are?
Received on 2025-03-26 19:59:33