add tests

Author: john-h-kastner

clang/test/3C/function_typedef.c

@@ -0,0 +1,27 @@
+// RUN: rm -rf %t*
+// RUN: 3c -base-dir=%S -alltypes -addcr %s -- | FileCheck -match-full-lines -check-prefixes="CHECK_ALL","CHECK" %s
+// RUN: 3c -base-dir=%S -addcr %s -- | FileCheck -match-full-lines -check-prefixes="CHECK_NOALL","CHECK" %s
+// RUN: 3c -base-dir=%S -addcr %s -- | %clang -c -fcheckedc-extension -x c -o /dev/null -
+// RUN: 3c -base-dir=%S -output-dir=%t.checked -alltypes %s --
+// RUN: 3c -base-dir=%t.checked -alltypes %t.checked/function_typedef.c -- | diff %t.checked/function_typedef.c
+
+// Tests for the single file case in issue #430
+// Functions declared using a typedef should be rewritten in a way that doesn't
+// crash 3C or generate uncompilable code.  The expected output for these tests
+// expected to change when issue #437.
+
+typedef void foo(int*);
+foo foo_impl;
+void foo_imp(int *a) {};
+
+typedef int *bar();
+bar bar_impl;
+int *bar_impl() {
+  return 0;
+};
+
+typedef int *baz(int *);
+baz baz_impl;
+int *baz_impl(int *a) {
+  return 0;
+};

clang/test/3C/function_typedef_multi.c

@@ -0,0 +1,13 @@
+// RUN: rm -rf %t*
+// RUN: 3c -base-dir=%S -addcr -output-dir=%t.checked %S/function_typedef_multi.c %S/function_typedef_multi.h --
+// RUN: test ! -f %t.checked/function_typedef_multi.h -a ! -f %t.checked/function_typedef_multi.c
+
+// Test for the two file case in issue #430
+// This test caused an assertion to fail prior to PR #436
+// This test function_typedef_multi.h. The header is deliberately not included
+// in this file. Including the header prevented the assertion fail even without
+// the changes in PR #436.
+
+int foo(int a, int b[1]) {
+  return 0;
+}

clang/test/3C/function_typedef_multi.h

@@ -0,0 +1,3 @@
+// Used with function_typedef_multi.c
+typedef int a(int, int[1]);
+a foo;