1/* Verify that TRUTH_AND_EXPR is not wrongly changed to TRUTH_ANDIF_EXPR.  */
2
3extern void abort (void);
4
5int count = 0;
6
7int foo1(void)
8{
9  count++;
10  return 0;
11}
12
13int foo2(void)
14{
15  count++;
16  return 0;
17}
18
19int main(void)
20{
21  if ((foo1() == 1) & (foo2() == 1))
22    abort ();
23
24  if (count != 2)
25    abort ();
26
27  return 0;
28}
29