[Bug target/126513] ICE ‘verify_gimpl e’ failed, since __builtin_ppc_atomic_cas_l ocal added in r17-1992

"avinashd at gcc dot gnu.org via Gcc-bugs" <[email protected]> Fri, 31 Jul 2026 09:24:45 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

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

--- Comment #1 from Avinash Jayakar <avinashd at gcc dot gnu.org> ---
Created attachment 65193
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65193&action=edit
WIP patch

This should throw a compile error saying type sizes do not match. I think I
missed it somehow in the implementation.
These were the actual checks that had to be done

1. Sizes of the first 3 arguments must be the same.
2. First 3 arguments must be of pointer type which is complete (size and
details of type known to the compiler).
3. Total number of arguments must be 6.

1st and 2nd is partially handled. I have attached the WIP patch. Will test a
few more cases and submit it. Thanks