Original bug ID: 6687
Reporter: trungtq
Assigned to: @mshinwell
Status: closed (set by @xavierleroy on 2016-12-07T10:37:01Z)
Resolution: not a bug
Priority: normal
Severity: block
Platform: Linux, Kernel 3.13.0-24-generic
OS: Linux Mint 17 - 64bit
OS Version: 17
Version: 4.02.0
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @gasche

Bug description

Hello,

Recently, I tried out OCaml 4.02.0 and find out it's compiler is really fast.
However, I encountered a problem when use this compiler version with CIL tool: http://www.cs.berkeley.edu/~necula/cil/

The binary file built by OCaml 4.02.0 always goes into a loop when running. That doesn't happen with previous version of OCaml like 4.01.0

Could you please check if there is something wrong?

Thank you very much.

Steps to reproduce

1. I use OCaml to compile the CIL tool:
   http://www.cs.berkeley.edu/~necula/cil/

2. The tested version is CIL 1.5.1:
   http://sourceforge.net/projects/cil/files/cil/cil-1.5.1.tar.gz/download)

3. Installation guide of CIL:
   http://www.cs.berkeley.edu/~necula/cil/cil002.html

4. After compiling CIL, I tested it with a simple C file "hello.c"

// Hello.c
#include<stdio.h>

void main () {
printf("Hello world!");
}

5. The command to run CIL is:
   ./bin/cilly --save-temps -D HAPPY_MOOD hello.c

6. The cilly file built by OCaml 4.02.0 prints this output, and goes into a loop:

gcc -D_GNUCC -E -D HAPPY_MOOD -DCIL=1 hello.c -o ./hello.i
/home/trungtq/Setup/cil/cil-1.5.1/obj/x86_LINUX/cilly.asm.exe --out ./hello.cil.c ./hello.i

and it doesn't generate any output files hello.i

7. I also try OCaml 4.03.0 out and it has the same bug.

8. But this problem doesn't happen with OCaml 4.01.0. And here is the output given by OCaml 4.01.0:
   gcc -D_GNUCC -E -D HAPPY_MOOD -DCIL=1 ../hello.c -o ./hello.i /home/trungtq/Setup/cil/cil-1.5.1/obj/x86_LINUX/cilly.asm.exe --out ./hello.cil.c ./hello.i
   gcc -D_GNUCC -E -D HAPPY_MOOD ./hello.cil.c -o ./hello.cil.i
   gcc -D_GNUCC -c -D HAPPY_MOOD -o ./hello.o ./hello.cil.i
   gcc -D_GNUCC -o a.out -D HAPPY_MOOD ./hello.o

9. For more information:

The binary file generated by the compiler of OCaml 4.01.0, can execute normally under OCaml 4.02.0 environment and doesn't go to a loop.
So, I guess it's a problem of the compiler.