1 /*
2    bug-2252.c - the 0xff was seen as an 8-bit quantity, and thus the same as -1, resulting in the addition being replaced by a decrement.
3  */
4 
5 #include <testfwk.h>
6 
abc(int a)7 int abc(int a)
8 {
9   return a + 0xff;
10 }
11 
testBug(void)12 void testBug(void)
13 {
14   ASSERT(abc(0) == 0xff);
15 }
16 
17