1 files changed, 10 insertions, 0 deletions
diff --git a/semantics_data/typedef4.c b/semantics_data/typedef4.c
new file mode 100644
index 0000000..0aeb0f4
--- /dev/null
+++ b/semantics_data/typedef4.c
@@ -0,0 +1,10 @@
+typedef struct I I;
+int incomp(I a);
+struct I { int i, j; };
+int incomp(I a) {}
+typedef int b;
+int main() {
+    I i;
+    b b;
+    incomp(i);
+}