Avoid triggering a division by zero in the overflow check
[smatch.git] / parse.dtd
blobcbf95ec1dd3161ed10df960a2a2333aa45f2a1c3
1 <!ELEMENT parse (symbol+) >
3 <!ELEMENT symbol (symbol*) >
5 <!ATTLIST symbol type (uninitialized|preprocessor|basetype|node|pointer|function|array|struct|union|enum|typedef|typeof|member|bitfield|label|restrict|fouled|keyword|bad) #REQUIRED
6 id ID #REQUIRED
7 file CDATA #REQUIRED
8 start-line CDATA #REQUIRED
9 start-col CDATA #REQUIRED
10 end-line CDATA #IMPLIED
11 end-col CDATA #IMPLIED
12 end-file CDATA #IMPLIED
14 ident CDATA #IMPLIED
15 base-type IDREF #IMPLIED
16 base-type-builtin (char|signed char|unsigned char|short|signed short|unsigned short|int|signed int|unsigned int|signed long|long|unsigned long|long long|signed long long|unsigned long long|void|bool|string|float|double|long double|incomplete type|abstract int|abstract fp|label type|bad type) #IMPLIED
18 array-size CDATA #IMPLIED
20 bit-size CDATA #IMPLIED
21 alignment CDATA #IMPLIED
22 offset CDATA #IMPLIED
23 bit-offset CDATA #IMPLIED
25 auto (0|1) #IMPLIED
26 register (0|1) #IMPLIED
27 static (0|1) #IMPLIED
28 extern (0|1) #IMPLIED
29 const (0|1) #IMPLIED
30 volatile (0|1) #IMPLIED
31 signed (0|1) #IMPLIED
32 unsigned (0|1) #IMPLIED
33 char (0|1) #IMPLIED
34 short (0|1) #IMPLIED
35 long (0|1) #IMPLIED
36 long-long (0|1) #IMPLIED
37 typedef (0|1) #IMPLIED
38 inline (0|1) #IMPLIED
39 addressable (0|1) #IMPLIED
40 nocast (0|1) #IMPLIED
41 noderef (0|1) #IMPLIED
42 accessed (0|1) #IMPLIED
43 toplevel (0|1) #IMPLIED
44 label (0|1) #IMPLIED
45 assigned (0|1) #IMPLIED
46 type-type (0|1) #IMPLIED
47 safe (0|1) #IMPLIED
48 usertype (0|1) #IMPLIED
49 force (0|1) #IMPLIED
50 explicitly-signed (0|1) #IMPLIED
51 bitwise (0|1) #IMPLIED >