function.c revision 5153ee66d6d4fb37b02f85df38e48dc8b46660df
15821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// RUN: clang-cc %s -fsyntax-only -verify -pedantic 25821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// PR1892 35821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void f(double a[restrict][5]); // should promote to restrict ptr. 45821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void f(double (* restrict a)[5]); 55821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 65821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int foo (__const char *__path); 75821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int foo(__const char *__restrict __file); 85821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 95821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void func(const char*); // expected-note {{previous declaration is here}} 105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void func(char*); // expected-error{{conflicting types for 'func'}} 115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void g(int (*)(const void **, const void **)); 13eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdochvoid g(int (*compar)()) { 145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 162a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)void h(); // expected-note {{previous declaration is here}} 175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void h (const char *fmt, ...) {} // expected-error{{conflicting types for 'h'}} 185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// PR1965 205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int t5(b); // expected-error {{parameter list without types}} 215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int t6(int x, g); // expected-warning {{type specifier missing, defaults to 'int'}} 225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int t7(, ); // expected-error {{expected parameter declarator}} expected-error {{expected parameter declarator}} 245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int t8(, int a); // expected-error {{expected parameter declarator}} 255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int t9(int a, ); // expected-error {{expected parameter declarator}} 265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// PR2042 295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void t10(){} 305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void t11(){t10(1);} // expected-warning{{too many arguments}} 315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// PR3208 335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void t12(int) {} // expected-error{{parameter name omitted}} 345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// PR2790 365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void t13() { 375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return 0; // expected-warning {{void function 't13' should not return a value}} 385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int t14() { 405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return; // expected-warning {{non-void function 't14' should return a value}} 415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// <rdar://problem/6097326> 445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)y(y) { return y; } // expected-warning{{parameter 'y' was not declared, defaulting to type 'int'}} \ 455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-warning{{type specifier missing, defaults to 'int'}} 465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// PR3137, <rdar://problem/6127293> 495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)extern int g0_3137(void); 505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void f0_3137() { 515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) int g0_3137(void); 525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void f1_3137() { 545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) int (*fp)(void) = g0_3137; 555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void f1static() { 585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void f2static(int); // expected-error{{function declared in block scope cannot have 'static' storage class}} 595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) register void f2register(int); // expected-error{{illegal storage class on function}} 605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)struct incomplete_test a(void) {} // expected-error{{incomplete result type 'struct incomplete_test' in function definition}} \ 635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note{{forward declaration of 'struct incomplete_test'}} 645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)extern __inline 675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)__attribute__((__gnu_inline__)) // expected-warning{{extension used}} 685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void gnu_inline1() {} 695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void 715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)__attribute__((__gnu_inline__)) // expected-warning {{'gnu_inline' attribute requires function to be marked 'inline', attribute ignored}} expected-warning{{extension used}} 725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)gnu_inline2() {} 733551c9c881056c480085172ff9840cab31610854Torne (Richard Coles) 745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 753551c9c881056c480085172ff9840cab31610854Torne (Richard Coles)// rdar://6802350 765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)inline foo_t invalid_type() { // expected-error {{unknown type name 'foo_t'}} 775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)typedef void fn_t(void); 805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)fn_t t17; 815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// PR4049 835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)unknown_type t18(void*) { // expected-error {{unknown type name 'unknown_type'}} expected-error{{parameter name omitted}} 845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)unknown_type t19(int* P) { // expected-error {{unknown type name 'unknown_type'}} 875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) P = P+1; // no warning. 885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)