// @NG@ (test = -1932735285) #include #define OK() printf("@OK@\n") #define NG(fmt,val) printf("@NG@ (test = " fmt ")\n",val) int main (void) { volatile unsigned short x1069 = 10U; long t57 = 1L; t57 = ((long)-214748365L*(x1069-(int)1)); if (t57 == -1932735285L) { OK(); } else { NG("%ld", t57); } return 0; }