[Bug middle-end/126084] ICE verify_gimple failed - _BitInt + ASAN, r14-3751

"jakub at gcc dot gnu.org via Gcc-bugs" <[email protected]> Wed, 29 Jul 2026 07:53:34 +0000

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

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

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Alexandre Oliva from comment #9)
> There's an unfortunate side effect of this patch: it introduces
> __asan_report_load_* calls in bitintlower1, before asan1.  They'd normally
> only be introduced in sanopt, long after asan.  When asan1 sees these
> noreturn calls, it introduces undesirable __asan_handle_no_return calls
> before them.

So I think we should just special case those in asan pass and don't add those
__asan_handle_no_return calls before them.