blob: 5f0afcc0d10aa52cc0b30a4e30e2af40a9563090 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* { dg-do compile } */
__attribute__ ((pure, returns_twice)) int
foo (int x)
{
int a;
a = x ? 3 : 0;
x /= a;
a = foo (x);
if (x == a)
__builtin_unreachable ();
return 0;
}
|