It's not a drop-in replacement for gcc. For example:

In the second form above, main is called with argc equal to zero and argv equal to the NULL pointer. The program does not, therefore, have access to command-line arguments.

http://compcert.inria.fr/man/manual004.html#toc11