simplify '(x / -1)' to '-x' (but only for signed division)
[smatch.git] / validation / specifiers2.c
blobd5be118bd2ac3989d288b6b5ab3d3c551e515d82
1 typedef int T;
2 void BAD(
3 char char,
4 char int,
5 char double,
6 char float,
7 char long,
8 char short,
9 int char,
10 int int,
11 int double,
12 int float,
13 double char,
14 double int,
15 double double,
16 double float,
17 double short,
18 double signed,
19 double unsigned,
20 float char,
21 float int,
22 float double,
23 float float,
24 float short,
25 float long,
26 float signed,
27 float unsigned,
28 short char,
29 short double,
30 short float,
31 short short,
32 short long,
33 long char,
34 long float,
35 long short,
36 signed double,
37 signed float,
38 signed signed,
39 signed unsigned,
40 unsigned double,
41 unsigned float,
42 unsigned signed,
43 unsigned unsigned,
44 unsigned signed,
45 long long long,
46 long double long,
47 long long double,
48 double long long,
49 T char,
50 T int,
51 T double,
52 T float,
53 T short,
54 T long,
55 T signed,
56 T unsigned,
57 T void,
58 void char,
59 void int,
60 void double,
61 void float,
62 void short,
63 void long,
64 void signed,
65 void unsigned,
66 char void,
67 int void,
68 double void,
69 float void,
70 short void,
71 long void,
72 signed void,
73 unsigned void,
74 void void
77 * check-name: invalid specifier combinations
78 * check-error-start
79 specifiers2.c:3:6: error: two or more data types in declaration specifiers
80 specifiers2.c:4:6: error: two or more data types in declaration specifiers
81 specifiers2.c:5:6: error: two or more data types in declaration specifiers
82 specifiers2.c:6:6: error: two or more data types in declaration specifiers
83 specifiers2.c:7:6: error: impossible combination of type specifiers: char long
84 specifiers2.c:8:6: error: impossible combination of type specifiers: char short
85 specifiers2.c:9:5: error: two or more data types in declaration specifiers
86 specifiers2.c:10:5: error: two or more data types in declaration specifiers
87 specifiers2.c:11:5: error: two or more data types in declaration specifiers
88 specifiers2.c:12:5: error: two or more data types in declaration specifiers
89 specifiers2.c:13:8: error: two or more data types in declaration specifiers
90 specifiers2.c:14:8: error: two or more data types in declaration specifiers
91 specifiers2.c:15:8: error: two or more data types in declaration specifiers
92 specifiers2.c:16:8: error: two or more data types in declaration specifiers
93 specifiers2.c:17:8: error: impossible combination of type specifiers: double short
94 specifiers2.c:18:8: error: impossible combination of type specifiers: double signed
95 specifiers2.c:19:8: error: impossible combination of type specifiers: double unsigned
96 specifiers2.c:20:7: error: two or more data types in declaration specifiers
97 specifiers2.c:21:7: error: two or more data types in declaration specifiers
98 specifiers2.c:22:7: error: two or more data types in declaration specifiers
99 specifiers2.c:23:7: error: two or more data types in declaration specifiers
100 specifiers2.c:24:7: error: impossible combination of type specifiers: float short
101 specifiers2.c:25:7: error: impossible combination of type specifiers: float long
102 specifiers2.c:26:7: error: impossible combination of type specifiers: float signed
103 specifiers2.c:27:7: error: impossible combination of type specifiers: float unsigned
104 specifiers2.c:28:7: error: impossible combination of type specifiers: short char
105 specifiers2.c:29:7: error: impossible combination of type specifiers: short double
106 specifiers2.c:30:7: error: impossible combination of type specifiers: short float
107 specifiers2.c:31:7: error: impossible combination of type specifiers: short short
108 specifiers2.c:32:7: error: impossible combination of type specifiers: short long
109 specifiers2.c:33:6: error: impossible combination of type specifiers: long char
110 specifiers2.c:34:6: error: impossible combination of type specifiers: long float
111 specifiers2.c:35:6: error: impossible combination of type specifiers: long short
112 specifiers2.c:36:8: error: impossible combination of type specifiers: signed double
113 specifiers2.c:37:8: error: impossible combination of type specifiers: signed float
114 specifiers2.c:38:8: error: impossible combination of type specifiers: signed signed
115 specifiers2.c:39:8: error: impossible combination of type specifiers: signed unsigned
116 specifiers2.c:40:10: error: impossible combination of type specifiers: unsigned double
117 specifiers2.c:41:10: error: impossible combination of type specifiers: unsigned float
118 specifiers2.c:42:10: error: impossible combination of type specifiers: unsigned signed
119 specifiers2.c:43:10: error: impossible combination of type specifiers: unsigned unsigned
120 specifiers2.c:44:10: error: impossible combination of type specifiers: unsigned signed
121 specifiers2.c:45:11: error: impossible combination of type specifiers: long long long
122 specifiers2.c:46:13: error: impossible combination of type specifiers: long long double
123 specifiers2.c:47:11: error: impossible combination of type specifiers: long long double
124 specifiers2.c:48:13: error: impossible combination of type specifiers: long long double
125 specifiers2.c:49:3: error: two or more data types in declaration specifiers
126 specifiers2.c:50:3: error: two or more data types in declaration specifiers
127 specifiers2.c:51:3: error: two or more data types in declaration specifiers
128 specifiers2.c:52:3: error: two or more data types in declaration specifiers
129 specifiers2.c:53:3: error: two or more data types in declaration specifiers
130 specifiers2.c:54:3: error: two or more data types in declaration specifiers
131 specifiers2.c:55:3: error: two or more data types in declaration specifiers
132 specifiers2.c:56:3: error: two or more data types in declaration specifiers
133 specifiers2.c:57:3: error: two or more data types in declaration specifiers
134 specifiers2.c:58:6: error: two or more data types in declaration specifiers
135 specifiers2.c:59:6: error: two or more data types in declaration specifiers
136 specifiers2.c:60:6: error: two or more data types in declaration specifiers
137 specifiers2.c:61:6: error: two or more data types in declaration specifiers
138 specifiers2.c:62:6: error: two or more data types in declaration specifiers
139 specifiers2.c:63:6: error: two or more data types in declaration specifiers
140 specifiers2.c:64:6: error: two or more data types in declaration specifiers
141 specifiers2.c:65:6: error: two or more data types in declaration specifiers
142 specifiers2.c:66:6: error: two or more data types in declaration specifiers
143 specifiers2.c:67:5: error: two or more data types in declaration specifiers
144 specifiers2.c:68:8: error: two or more data types in declaration specifiers
145 specifiers2.c:69:7: error: two or more data types in declaration specifiers
146 specifiers2.c:70:7: error: impossible combination of type specifiers: short void
147 specifiers2.c:71:6: error: impossible combination of type specifiers: long void
148 specifiers2.c:72:8: error: impossible combination of type specifiers: signed void
149 specifiers2.c:73:10: error: impossible combination of type specifiers: unsigned void
150 specifiers2.c:74:6: error: two or more data types in declaration specifiers
151 * check-error-end