1ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// RUN: %clang_cc1 -fsyntax-only -pedantic -verify %s 2ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 3ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao/* This test checks the introduction of struct and union types based 4ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao on a type specifier of the form "struct-or-union identifier" when they 5ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao type has not yet been declared. See C99 6.7.2.3p8. */ 6ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 7ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaotypedef struct S1 { 8ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao union { 9ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao struct S2 *x; 10ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao struct S3 *y; 11ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao } u1; 12ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao} S1; 13ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 14ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaoint test_struct_scope(S1 *s1, struct S2 *s2, struct S3 *s3) { 15ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao if (s1->u1.x == s2) return 1; 16ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao if (s1->u1.y == s3) return 1; 17ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao return 0; 18ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao} 19ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 20ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaoint test_struct_scope_2(S1 *s1) { 21ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao struct S2 { int x; } *s2 = 0; 22ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao if (s1->u1.x == s2) return 1; /* expected-warning {{comparison of distinct pointer types ('struct S2 *' and 'struct S2 *')}} */ 23ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao return 0; 24ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao} 25ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 26ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// FIXME: We do not properly implement C99 6.2.1p4, which says that 27ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// the type "struct S4" declared in the function parameter list has 28ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// block scope within the function definition. The problem, in this 29ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// case, is that the code is ill-formed but we warn about the two S4's 30ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// being incompatible (we think they are two different types). 31ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaoint test_struct_scope_3(struct S4 * s4) { // expected-warning{{declaration of 'struct S4' will not be visible outside of this function}} 32ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao struct S4 { int y; } *s4_2 = 0; 33ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao /* if (s4 == s4_2) return 1; */ 34ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao return 0; 35ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao} 36ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 37ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaovoid f(struct S5 { int y; } s5); // expected-warning{{declaration of 'struct S5' will not be visible outside of this function}} 38ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 39ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// PR clang/3312 40ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaostruct S6 { 41ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao enum { BAR } e; 42ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao}; 43ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 44ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaovoid test_S6() { 45ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao struct S6 a; 46ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao a.e = BAR; 47ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao} 48ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao 49ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao// <rdar://problem/6487669> 50ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaotypedef struct z_foo_s { 51ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao struct bar_baz *baz; 52ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao} z_foo; 53ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaotypedef z_foo *z_foop; 54ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaostruct bar_baz { 55ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao enum { 56ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao SQUAT, FLAG, DICT4, DICT3, DICT2, DICT1, DICT0, HOP, CHECK4, CHECK3, CHECK2, CHECK1, DONE, BAD 57ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao } mode; 58ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao int nowrap; 59ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao}; 60ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaovoid 61ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liaowizbiz_quxPoof(z) 62ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao z_foop z; 63ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao{ 64ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao z->baz->mode = z->baz->nowrap ? HOP : SQUAT; 65ea285162342df160e7860e26528bc7110bc6c0cdShih-wei Liao} 66