5 __attribute__ ((noinline
)) int_t
6 addine (int_t w
, int_t x
, int_t y
, int_t z
)
8 return w
!= x
? y
+ z
: y
;
14 if (addine (-1, -1, 12, 23) != 12)
16 if (addine (-1, 3, 12, 23) != 35)
18 if (addine (1, 3, 12, 23) != 35)
20 if (addine (3, 3, 12, 23) != 12)
22 if (addine (5, 3, 12, 23) != 35)
24 if (addine (3, -1, 12, 23) != 35)
26 if (addine (3, 1, 12, 23) != 35)
28 if (addine (3, 5, 12, 23) != 35)