Fix PR2042. One remaining issue: we don't currently diagnose

int foobar(int);
 int foobar() {}

which requires ifdef'ing out a testcase in predefined-function.c.



git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47236 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2008-02-17 19:31:09 +00:00
Родитель a9b20e57d4
Коммит 5280408ab3
4 изменённых файлов: 11 добавлений и 4 удалений

Просмотреть файл

@ -1010,10 +1010,11 @@ Sema::DeclTy *Sema::ActOnStartOfFunctionDef(Scope *FnBodyScope, Declarator &D) {
FTI.ArgInfo[i].TypeInfo = Context.IntTy.getAsOpaquePtr();
}
}
// Since this is a function definition, act as though we have information
// about the arguments.
FTI.hasPrototype = true;
if (FTI.NumArgs)
FTI.hasPrototype = true;
} else {
// FIXME: Diagnose arguments without names in C.

Просмотреть файл

@ -14,7 +14,7 @@ void test2() {
}
int test3() {
int a[2];
a[0] = test3; // expected-warning{{incompatible pointer to integer conversion assigning 'int (void)', expected 'int'}}
a[0] = test3; // expected-warning{{incompatible pointer to integer conversion assigning 'int ()', expected 'int'}}
}
short x; void test4(char c) { x += c; }
int y; void test5(char c) { y += c; }

Просмотреть файл

@ -25,3 +25,7 @@ int t8(, int a); // expected-error {{expected parameter declarator}}
int t9(int a, ); // expected-error {{expected parameter declarator}}
// PR2042
void t10(){}
void t11(){t10(1);}

Просмотреть файл

@ -20,16 +20,18 @@ int bar(int i) // expected-error {{previous definition is here}}
{
return 0;
}
int bar() // expected-error {{redefinition of 'bar'}} expected-error {{conflicting types for 'bar'}}
int bar() // expected-error {{redefinition of 'bar'}}
{
return 0;
}
#if 0
int foobar(int); // expected-error {{previous declaration is here}}
int foobar() // expected-error {{conflicting types for 'foobar'}}
{
return 0;
}
#endif
int wibble(); // expected-error {{previous declaration is here}}
float wibble() // expected-error {{conflicting types for 'wibble'}}