support/regression/tests/bug-2551.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

/*
   bug-2551.c
*/

#include <testfwk.h>
#include <stdint.h>

volatile uint8_t ff = 0xff;

static inline uint16_t and(uint16_t a, uint16_t b) {
  uint16_t r = a & b;
  return r;
}

void testBug(void) {
  goto cond;

cond:
  if((~((and(ff, 128) != 0)&1))&1)
    goto cond;
  else
    goto end;

end:
  ;
}