https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103267
--- Comment #8 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to hubicka from comment #6)
> Aha, but here is better example (reproduces same way).
> In the former one I forgot const attribute which makes it invalid.
> The testcase tests that ipa-sra is missing ECF_LOOPING_CONST_OR_PURE
> check
>
> static int
> __attribute__ ((noinline))
> infinite (int p)
> {
> if (p)
> while (1);
> return p;
> }
> __attribute__ ((noinline))
> static void
> test(int p, int *a)
> {
> int v = infinite (p);
> if (*a && v)
> __builtin_abort ();
> }
> test2(int *a)
> {
> test(0,a);
> }
> main()
> {
> test (1,0);
> }
This one is very old :) Also 4.8.0 crashes.
