gcc/testsuite/gcc.c-torture/execute/920812-1.c

typedef int t;
f(t y){switch(y){case 1:return 1;}return 0;}
main(){if(f((t)1)!=1)abort();exit(0);}