/* PR tree-optimization/32139 */
int foo (void);
int bar (void) __attribute__ ((const));
int
test (int x)
{
int a = (x == 10000 ? foo : bar) ();
int b = (x == 10000 ? foo : bar) ();
return a + b;
}