https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118616

--- Comment #17 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Sam James from comment #16)
> Sorry, this machine was testing with --enable-checking=release. Fixing that
> works (so gcc_checking_assert does something). But it means I see the
> warning with release-checking, so maybe should do gcc_assert instead.

Hmm but --disable-werror is there. So I think this is ok enough at least for
the checking case and we don't need s/gcc_checking_assert/gcc_assert/ due to
other recommendations (which I thought was documented).  

Though I wonder if we should change the definition of gcc_checking_assert to
be:
__attribute__((assume(x) ))

For GCC 15+ but that is for stage 1 of GCC 16.

Reply via email to