Store the typedef identifier in the symbol_type (cleaned up) - #358

Merged

kroening merged 14 commits into

diffblue:masterfrom

thk123:bug/typedef-structs-clean

Apr 4, 2017

Commits on Mar 27, 2017

keep typedefs when dumping c with --use-system-headers
thk123
committed
35356bd
Added initial collection of tests for typedef'd types
thk123
committed
08cf4ee
If a type has a typedef then use that when printing the type
thk123
committed
99067de
Adding tests for structs and parameters using typedefs
thk123
committed
eb7e551
Improved chain.sh to remove old .gb files first
thk123
committed
0152f67

Commits on Mar 28, 2017

Adding tests for union typedefs
thk123
committed
e8dbc40
Adding const variables tests
thk123
committed
5dd0c8a
Adding tests for anonymous unions
thk123
committed
bb09401
Adding regression tests for multiple declarations on one line
thk123
committed
79f1638
Added regressions for typedefs on the source file
thk123
committed
fc8d7c6
Use ID_C_typedef rather than ID_typedef
thk123
committed
22e9267
Fixing relevant lint errors
thk123
committed
7c1aeb4
Fixed the failing ANSI-C test caused by typedef types not being equal
thk123
committed
c64eacc
Turn the ID_C_typedef into a comment
thk123
committed
eec7a5d