diff options
Diffstat (limited to 'test/ccured_olden/rapportCompcert_all.txt')
-rw-r--r-- | test/ccured_olden/rapportCompcert_all.txt | 82 |
1 files changed, 0 insertions, 82 deletions
diff --git a/test/ccured_olden/rapportCompcert_all.txt b/test/ccured_olden/rapportCompcert_all.txt deleted file mode 100644 index 25a7e4cf..00000000 --- a/test/ccured_olden/rapportCompcert_all.txt +++ /dev/null @@ -1,82 +0,0 @@ -********** 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); |