ckaestne / TypeChef

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

Fix handling of structs #11

Closed ckaestne closed 11 years ago

ckaestne commented 11 years ago

Undefined structs seem to be fine in pointers as long as they are not directly used.

for example

struct x {
  struct y* aa;
} u;

int main() {return 0;}

is well typed, but typechef complains

in contrast the following is not:

struct x {
  struct y aa;
} u;

int main() {return 0;}
ckaestne commented 11 years ago

was not a bug