search

ckaestne / TypeChef

Type checking ifdef variability
https://ckaestne.github.io/TypeChef/
Other
76 stars 36 forks source link

Handle Structs in Strict Linker checks #29

Open ckaestne opened 10 years ago

ckaestne commented 10 years ago

handle all structs like anonymous structs and check variability within structs for compatibility

structs need to have the same fields (order does not matter) with compatible types

see also http://www.spinellis.gr/pubs/jrnl/1993-JCLT-CType/html/tsl.html