This bug is reproducible in Eiffel Studio 6.4.7.9451 GPL Edition - linux-x86.

The output of C compile is:

Preparing C compilation
Compiling C code in E1
Compiling C code in C1
In file included from big_file_C1_c.c:80:
ap25.c: In function â??F25_549â??:
ap25.c:77: error: invalid operands to binary - (have â??intâ?? and â??EIF_REFERENCEâ??)
make[1]: *** [big_file_C1_c.o] Error 1
make: *** [C1/Cobj1.o] Error 2