Improve function decl merging, patch by Oliver Hunt!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@44253 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/Sema/SemaDecl.cpp b/Sema/SemaDecl.cpp
index 2c3b335fb7a51a11f25a2f1bb5485d0a966cadd8..30505d66cd30a38ca68576fe98ca8edc04df052a 100644 (file)
--- a/Sema/SemaDecl.cpp
+++ b/Sema/SemaDecl.cpp
@@ -238,16 +238,23 @@ FunctionDecl *Sema::MergeFunctionDecl(FunctionDecl *New, ScopedDecl *OldD) {
     return New;
   }
   
-  // This is not right, but it's a start.  If 'Old' is a function prototype with
-  // the same type as 'New', silently allow this.  FIXME: We should link up decl
-  // objects here.
-  if (Old->getBody() == 0 && 
-      Old->getCanonicalType() == New->getCanonicalType()) {
-    return New;
-  }
-
-  if (New->getBody() == 0 && 
-      Old->getCanonicalType() == New->getCanonicalType()) {
+  QualType OldQType = Old->getCanonicalType();
+  QualType NewQType = New->getCanonicalType();
+  
+  // This is not right, but it's a start.
+  // If Old is a function prototype with no defined arguments we only compare 
+  // the return type;  If arguments are defined on the prototype we validate the
+  // entire function type.
+  // FIXME: We should link up decl objects here.
+  if (Old->getBody() == 0) {
+    if (OldQType.getTypePtr()->getTypeClass() == Type::FunctionNoProto && 
+        Old->getResultType() == New->getResultType())
+      return New;
+    if (OldQType == NewQType)
+      return New;
+  }
+
+  if (New->getBody() == 0 && OldQType == NewQType) {
     return 0;
   }
   

diff --git a/test/Sema/predefined-function.c b/test/Sema/predefined-function.c
new file mode 100644 (file)
index 0000000..bca25fb
--- /dev/null
+++ b/test/Sema/predefined-function.c
@@ -0,0 +1,29 @@
+// RUN: clang -fsyntax-only -verify -pedantic %s
+ 
+int foo();
+int foo()
+{
+       return 0;       
+}
+
+int bar();
+int bar(int i) // expected-error {{previous definition is here}}
+{
+       return 0;
+}
+int bar() // expected-error {{redefinition of 'bar'}}
+{
+       return 0;
+}
+
+int foobar(int); // expected-error {{previous definition is here}}
+int foobar() // expected-error {{redefinition of 'foobar'}}
+{
+       return 0;
+}
+
+int wibble(); // expected-error {{previous definition is here}}
+float wibble() // expected-error {{redefinition of 'wibble'}}
+{
+       return 0.0f;
+}