xref: /llvm-project/clang/test/Sema/knr-def-call.c (revision 0f1c1be1968076d6f96f8a7bcc4a15cf195ecd97)
1 // RUN: %clang_cc1 -triple i386-pc-unknown -Wconversion -Wliteral-conversion -fsyntax-only -verify %s
2 
3 // C DR #316, PR 3626.
f0(a,b,c,d)4 void f0(a, b, c, d) int a,b,c,d; {} // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C23}}
t0(void)5 void t0(void) {
6   f0(1);  // expected-warning{{too few arguments}}
7 }
8 
f1(a,b)9 void f1(a, b) int a, b; {} // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C23}}
t1(void)10 void t1(void) {
11   f1(1, 2, 3); // expected-warning{{too many arguments}}
12 }
13 
14 void f2(float); // expected-note{{previous declaration is here}}
f2(x)15 void f2(x) float x; { } // expected-warning{{promoted type 'double' of K&R function parameter is not compatible with the parameter type 'float' declared in a previous prototype}} \
16                            expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C23}}
17 
18 typedef void (*f3)(void);
t3(int b)19 f3 t3(int b) { return b? f0 : f1; } // okay
20 
f4()21 void f4() {
22     char *rindex();
23 }
24 
25 // FIXME: we should diagnose this case, but when merging function declarations,
26 // we don't diagnose it because the function is a builtin.
rindex(s,c)27 char *rindex(s, c)
28      register char *s, c; // expected-warning{{promoted type 'char *' of K&R function parameter is not compatible with the parameter type 'const char *' declared in a previous prototype}}
29 {
30   return 0;
31 }
32 
33 // PR8314
34 void proto(int);
proto(x)35 void proto(x) // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C23}}
36      int x;
37 {
38 }
39 
use_proto()40 void use_proto() {
41   proto(42.1); // expected-warning{{implicit conversion from 'double' to 'int' changes value from 42.1 to 42}}
42   (&proto)(42.1); // expected-warning{{implicit conversion from 'double' to 'int' changes value from 42.1 to 42}}
43 }
44 
45 // PR31020
46 void func(short d) __attribute__((cdecl)); // expected-note{{previous declaration is here}}
func(d)47 void __attribute__((cdecl)) func(d) // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C23}}
48   short d; // expected-warning{{promoted type 'int' of K&R function parameter is not compatible with the parameter type 'short' declared in a previous prototype}}
49 {}
50