[Bug target/114492] Invalid use of gcc_assert (notably in gcc/config/aarch64/aarch64-ldp-fusion.cc)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-03-27

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
>Please be advised that the argument is *not* evaluated with release checking

Actually it is evaluated with release checking as release checking enables
assert checking.
But it is not evaluated for `--without-checking` or `--with-checking=none`.

It has been done that way since release checking was added in
r0-61420-ge1bbfc5cc2dd04 .

Before that yes assert checking was NOT enabled for releases.



The 2 I see which might be an issue is:
  gcc_assert (crtl->ssa->verify_insn_changes (changes));

    gcc_assert (rtl_ssa::restrict_movement_ignoring (*changes[i],
is_changing));