codify expectations toward redeclarations with tests

confirmed with GCC that these are actually enforced (a function with an enum type is not compatible with a function with an int type)
ckaestne · Feb 12, 2015 · 7b16d3a · 7b16d3a
1 parent aff7962
commit 7b16d3a
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/RedeclarationTest.scala b/CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/RedeclarationTest.scala
@@ -86,10 +86,19 @@ class RedeclarationTest extends FunSuite with Matchers with TestHelperTS {
             check("int foo();" +
                 "int foo() {}")
         }
+        assertResult(true) {
+            check("extern int foo();" +
+                "int foo() {}")
+        }
         assertResult(false) {
             check("int foo(int p);" +
                 "int foo() {}")
         }
+        assertResult(false) {
+            check("enum x { a, b }; " +
+                "int foo(int p);" +
+                "int foo(enum x y) {}")
+        }
         assertResult(false) {
             //actually just a warning in GCC
             check("int foo();" +