blob: 25a7e4cff079aa0cb04cf7300502723f882e14c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
********** 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);
|
