1// gcc -m32 -g -O2 -o const_type const_type.c
2
3__attribute__((noinline, noclone)) int
4f1 (long long d)
5{
6  long long w = d / 0x1234567800000LL;
7  return w;
8}
9
10int
11main ()
12{
13  return f1 (4LL) - f1 (4LL);
14}
15