********** Répertoire bh ************************
*************************************************

../../../../ccomp -dump-c  io.c
/usr/include/stdio.h:250: Unsupported C feature: integer type specifier
-> int      fclose(FILE );    ?????
make: *** [io.compcert] Error 2

../../../../ccomp -dump-c getparam.c
/usr/include/stdio.h:171: Warning: array type of unspecified size
/usr/include/stdio.h:171: Unsupported C feature: integer type specifier
-> extern FILE __sF[];
make: *** [getparam.compcert] Error 2

********** Répertoire bisort ********************
*************************************************
../../../../ccomp -dump-c bitonic.c
bitonic.c:42: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:91: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:231: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:233: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:242: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:244: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:245: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:246: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:248: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:251: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:253: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:255: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:257: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:260: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:262: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:264: Warning: working around a call to a variadic or non-prototyped function
bitonic.c:265: Warning: working around a call to a variadic or non-prototyped function
Error in translation Csyntax -> PPC

********** Répertoire bisort ********************
*************************************************
../../../../ccomp -dump-c bitonic.c

même problème que pour bitonic.c du répertoire bisort.

********** Répertoire health ********************
*************************************************
../../../../ccomp -dump-c poisson.c

../../../../ccomp -dump-c list.c
list.c:16: Unsupported C feature: ill-formed recursive structure or union
--> void addList(struct List *list, struct Patient *patient) {
make: *** [list.s] Error 2

********** Répertoire em3d **********************
*************************************************
../../../../ccomp -dump-c make_graph.c
make_graph.c:28: Warning: working around a call to a variadic or non-prototyped function
make_graph.c:43: Warning: working around a call to a variadic or non-prototyped function
make_graph.c:101: Warning: working around a call to a variadic or non-prototyped function
make_graph.c:136: Unsupported C feature: return value of struct or union type
-> graph_t initialize_graph()
{
  node_t **h_table;
  node_t **e_table;
  graph_t retval;
................
make: *** [make_graph.s] Error 2

********** Répertoire treeadd *********************
*************************************************

node.c:38: Error: Cannot resolve variable stderr.
->	fprintf(stderr, "Iteration %d...", i);

error in doExp (Errormsg.Error)

error in doExp (Errormsg.Error)
node.c:27: Warning: working around a call to a variadic or non-prototyped function
node.c:30: Warning: working around a call to a variadic or non-prototyped function
node.c:32: Warning: working around a call to a variadic or non-prototyped function
node.c:33: Warning: working around a call to a variadic or non-prototyped function
node.c:34: Warning: working around a call to a variadic or non-prototyped function
node.c:38: Unsupported C feature: inline assembly
-> 	fprintf(stderr, "Iteration %d...", i);