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.