1 /* PR rtl-optimization/80501 */
2 
3 signed char v = 0;
4 
5 static signed char
foo(int x,int y)6 foo (int x, int y)
7 {
8   return x << y;
9 }
10 
11 __attribute__((noinline, noclone)) int
bar(void)12 bar (void)
13 {
14   return foo (v >= 0, __CHAR_BIT__ - 1) >= 1;
15 }
16 
17 int
main()18 main ()
19 {
20   if (sizeof (int) > sizeof (char) && bar () != 0)
21     __builtin_abort ();
22   return 0;
23 }
24