#include #define OK() printf("@OK@\n") #define NG(fmt,val) printf("@NG@ (test = " fmt ")\n",val) unsigned int x208 = 1U; int x1101 = -1; unsigned int k1241 = 4294394906U; unsigned int t52 = 1U; unsigned long long k1320 = 18446744073709551615LLU; unsigned int t180 = 1U; int main (void) { volatile unsigned int x422 = 1U; volatile int x444 = -1; volatile long long x500 = -1LL; volatile unsigned int x514 = 1U; int t5 = 1; unsigned int t46 = 1U; int t48 = 1; volatile int k1260 = -1; long long t63 = 1LL; long long t66 = 1LL; long long t84 = 1LL; long long t86 = 1LL; long long t89 = 1LL; long long t90 = 1LL; volatile int k1419 = -1; int t136 = 1; int t184 = 1; unsigned int t186 = 1U; long long t214 = 1LL; int t248 = 1; t5 = (x1101/(int)5); t46 = ((((unsigned int)1U/x514)%(unsigned int)27U)>>(int)0); t48 = (x444*(int)1); t52 = (x208<<((unsigned long long)26LLU>>((unsigned int)572390U+k1241))); t63 = ((long long)1LL-((long long)231685256L<<((int)1<<((int)1+k1260)))); t66 = ((long long)-1LL*((unsigned int)1U*((unsigned int)1U*(((unsigned int)4294967295U*x422)+(unsigned int)1U)))); t84 = (((unsigned int)1U%(((long long)1L/x500)+(long long)4180947312363831297L))>>(unsigned int)1U); t86 = (t63+(long long)463370511LL); t89 = ((long long)-1L%(((int)1+((int)1>>((unsigned long long)1LLU+k1320)))-(int)-1)); t90 = ((long long)0LL-(x500-(long long)1LL)); t136 = ((int)1%((int)1>((int)-1*((int)1+k1419)))); t180 = (x208*(unsigned int)1U); t184 = (x1101+(int)1); t186 = (t46+(unsigned int)2718016210U); t214 = ((long long)0LL+t63); t248 = (t48+(int)1); if (t5 == 0) { OK(); } else { NG("%d", t5); } if (t46 == 1U) { OK(); } else { NG("%u", t46); } if (t48 == -1) { OK(); } else { NG("%d", t48); } if (t52 == 67108864U) { OK(); } else { NG("%u", t52); } if (t63 == -463370511LL) { OK(); } else { NG("%lld", t63); } if (t66 == 0LL) { OK(); } else { NG("%lld", t66); } if (t84 == 0LL) { OK(); } else { NG("%lld", t84); } if (t86 == 0LL) { OK(); } else { NG("%lld", t86); } if (t89 == -1LL) { OK(); } else { NG("%lld", t89); } if (t90 == 2LL) { OK(); } else { NG("%lld", t90); } if (t136 == 0) { OK(); } else { NG("%d", t136); } if (t180 == 1U) { OK(); } else { NG("%u", t180); } if (t184 == 0) { OK(); } else { NG("%d", t184); } if (t186 == 2718016211U) { OK(); } else { NG("%u", t186); } if (t214 == -463370511LL) { OK(); } else { NG("%lld", t214); } if (t248 == 0) { OK(); } else { NG("%d", t248); } return 0; }