Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -fsyntax-only -verify %s |
Douglas Gregor | 2224f84 | 2009-02-25 16:33:18 +0000 | [diff] [blame] | 2 | |
| 3 | // C DR #316, PR 3626. |
| 4 | void f0(a, b, c, d) int a,b,c,d; {} |
Douglas Gregor | 74734d5 | 2009-04-02 15:37:10 +0000 | [diff] [blame] | 5 | void t0(void) { |
| 6 | f0(1); // expected-warning{{too few arguments}} |
| 7 | } |
Douglas Gregor | 2224f84 | 2009-02-25 16:33:18 +0000 | [diff] [blame] | 8 | |
| 9 | void f1(a, b) int a, b; {} |
Douglas Gregor | 74734d5 | 2009-04-02 15:37:10 +0000 | [diff] [blame] | 10 | void t1(void) { |
| 11 | f1(1, 2, 3); // expected-warning{{too many arguments}} |
| 12 | } |
Douglas Gregor | 2224f84 | 2009-02-25 16:33:18 +0000 | [diff] [blame] | 13 | |
| 14 | void f2(float); // expected-note{{previous declaration is here}} |
Douglas Gregor | c837656 | 2009-03-06 22:43:54 +0000 | [diff] [blame] | 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}} |
Douglas Gregor | 2224f84 | 2009-02-25 16:33:18 +0000 | [diff] [blame] | 16 | |
| 17 | typedef void (*f3)(void); |
| 18 | f3 t3(int b) { return b? f0 : f1; } // okay |