diff options
Diffstat (limited to 'test/ccured_olden/rapportCompcert_all.txt')
-rw-r--r-- | test/ccured_olden/rapportCompcert_all.txt | 90 |
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); |