support/regression/tests/bug-1493710.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-1493710.c

   cse
   findPointerSet with signed/unsigned operands
*/

#include <testfwk.h>

struct
  {
    unsigned char a;
  } st = { 0xff };

signed char c = -1;

unsigned char f (void)
{
  st.a += c;
  return st.a > 8;
}

void
testFindPointerSet(void)
{
  ASSERT(f() == 1);
}