1 files changed, 90 insertions, 0 deletions
diff --git a/test/ccured_olden/rapportCompcert_all.txt b/test/ccured_olden/rapportCompcert_all.txt
new file mode 100644
index 00000000..18f07057
--- /dev/null
+++ b/test/ccured_olden/rapportCompcert_all.txt
@@ -0,0 +1,90 @@
+********** 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 util.c
+In file included from /usr/include/machine/param.h:30,
+                 from /usr/include/sys/param.h:104,
+                 from util.c:17:
+/usr/include/ppc/param.h:111:2: error: #error code not ported to little endian targets yet
+Error during preprocessing.
+make: *** [util.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);