https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103237
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |alan.hayward at arm dot com
--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #5)
> And the following fails with GCC 9 and 7 as well (using SSE vectorization).
>
> int g1;
> unsigned int g2 = 4294967295U;
> static void __attribute__((noipa)) func_1()
> {
> int *l_1 = &g1;
> for (int g3a = 0; g3a != 4; g3a++)
> for (int l_2 = 0; l_2 <= 3; l_2++)
> {
> unsigned int *l_3 = &g2;
> *l_1 = *l_3 ^= 1;
> }
> }
> int main()
> {
> func_1();
> if (g1 != -1)
> __builtin_abort ();
> return 0;
> }
This started to fail with r7-1219-gb28ead45fe630b9e.