const-init.c revision d01b669f26703663da3515638e254fa7a987e860
1// RUN: clang -arch i386 -verify -emit-llvm -o %t %s && 2 3#include <stdint.h> 4 5// Brace-enclosed string array initializers 6char a[] = { "asdf" }; 7 8// Double-implicit-conversions of array/functions (not legal C, but 9// clang accepts it for gcc compat). 10intptr_t b = a; // expected-warning {{incompatible pointer to integer conversion}} 11int c(); 12void *d = c; 13intptr_t e = c; // expected-warning {{incompatible pointer to integer conversion}} 14 15int f, *g = __extension__ &f, *h = (1 != 1) ? &f : &f; 16 17union s2 { 18 struct { 19 struct { } *f0; 20 } f0; 21}; 22 23int g0 = (int)(&(((union s2 *) 0)->f0.f0) - 0); 24 25// RUN: grep '@g1x = global { double, double } { double 1.000000e+00, double 0.000000e+00 }' %t && 26_Complex double g1x = 1.0f; 27// RUN: grep '@g1y = global { double, double } { double 0.000000e+00, double 1.000000e+00 }' %t && 28_Complex double g1y = 1.0fi; 29// RUN: grep '@g1 = global { i8, i8 } { i8 1, i8 10 }' %t && 30_Complex char g1 = (char) 1 + (char) 10 * 1i; 31// RUN: grep '@g2 = global .struct.__block_descriptor { i32 1, i32 10 }' %t && 32_Complex int g2 = 1 + 10i; 33// RUN: grep '@g3 = global { float, float } { float 1.000000e+00, float 1.000000e+01 }' %t && 34_Complex float g3 = 1.0 + 10.0i; 35// RUN: grep '@g4 = global { double, double } { double 1.000000e+00, double 1.000000e+01 }' %t && 36_Complex double g4 = 1.0 + 10.0i; 37// RUN: grep '@g5 = global .struct.__block_descriptor zeroinitializer' %t && 38_Complex int g5 = (2 + 3i) == (5 + 7i); 39// RUN: grep '@g6 = global { double, double } { double -1.100000e+01, double 2.900000e+01 }' %t && 40_Complex double g6 = (2.0 + 3.0i) * (5.0 + 7.0i); 41// RUN: grep '@g7 = global i32 1' %t && 42int g7 = (2 + 3i) * (5 + 7i) == (-11 + 29i); 43// RUN: grep '@g8 = global i32 1' %t && 44int g8 = (2.0 + 3.0i) * (5.0 + 7.0i) == (-11.0 + 29.0i); 45// RUN: grep '@g9 = global i32 0' %t && 46int g9 = (2 + 3i) * (5 + 7i) != (-11 + 29i); 47// RUN: grep '@g10 = global i32 0' %t && 48int g10 = (2.0 + 3.0i) * (5.0 + 7.0i) != (-11.0 + 29.0i); 49 50 51// Global references 52// RUN: grep '@g11.l0 = internal global i32 ptrtoint (i32 ()\* @g11 to i32)' %t && 53long g11() { 54 static long l0 = (long) g11; 55 return l0; 56} 57 58// RUN: grep '@g12 = global i32 ptrtoint (i8\* @g12_tmp to i32)' %t && 59static char g12_tmp; 60long g12 = (long) &g12_tmp; 61 62// RUN: grep '@g13 = global \[1 x .struct.g13_s0\] \[.struct.g13_s0 <{ i32 ptrtoint (i8\* @g12_tmp to i32) }>\]' %t && 63struct g13_s0 { 64 long a; 65}; 66struct g13_s0 g13[] = { 67 { (long) &g12_tmp } 68}; 69 70// RUN: grep '@g14 = global i8\* inttoptr (i64 100 to i8\*)' %t && 71void *g14 = (void*) 100; 72 73// RUN: grep '@g15 = global i32 -1' %t && 74int g15 = (int) (char) ((void*) 0 + 255); 75 76// RUN: grep '@g16 = global i64 4294967295' %t && 77long long g16 = (long long) ((void*) 0xFFFFFFFF); 78 79// RUN: grep '@g17 = global i32\* @g15' %t && 80int *g17 = (int *) ((long) &g15); 81 82// RUN: grep '@g18.p = internal global \[1 x i32\*\] \[i32\* @g19\]' %t && 83// FIXME: Should we really accept this in Sema? 84void g18(void) { 85 extern int g19; 86 static int *p[] = { &g19 }; 87} 88 89// RUN: true 90