validation/constexpr-init.c

static int a = 1;					// OK
static int b[2] = {1, 1};				// OK
static void c(void) {}

struct A {
	int a;
	int b[2];
};

struct B {
	int c;
	struct A d;
};

static struct B d= {1, {1, {1, 1}}};				// OK
static struct B e= {a, {1, {1, 1}}};				// KO
static struct B f= {1, {a, {1, 1}}};				// KO
static struct B g= {1, {1, {a, 1}}};				// KO
static struct B h= {1, {1, {1, a}}};				// KO
static struct B i= {.c = 1, .d = {.a = 1, .b = {1, 1}}};	// OK
static struct B j= {.c = a, .d = {.a = 1, .b = {1, 1}}};	// KO
static struct B k= {.c = 1, .d = {.a = a, .b = {1, 1}}};	// KO
static struct B l= {.c = 1, .d = {.a = 1, .b = {a, 1}}};	// KO
static struct B m= {.c = 1, .d = {.a = 1, .b = {1, a}}};	// KO

static int n[] = {a, 1};				// KO
static int o[] = {1, a};				// KO
static int p[] = {[0] = a, [1] = 1};			// KO
static int q[] = {[0] = 1, [1] = a};			// KO

static void r(void) {
	int a = 0;
	int b = a;		// OK
}

static void s(void) {
	int a = 1;
	static int b = a;	// KO
}

/*
 * check-name: constexprness static storage object initializer
 * check-command: sparse -Wconstexpr-not-const $file
 *
 * check-error-start
constexpr-init.c:16:21: warning: non-constant initializer for static object
constexpr-init.c:17:25: warning: non-constant initializer for static object
constexpr-init.c:18:29: warning: non-constant initializer for static object
constexpr-init.c:19:32: warning: non-constant initializer for static object
constexpr-init.c:21:26: warning: non-constant initializer for static object
constexpr-init.c:22:40: warning: non-constant initializer for static object
constexpr-init.c:23:49: warning: non-constant initializer for static object
constexpr-init.c:24:52: warning: non-constant initializer for static object
constexpr-init.c:26:19: warning: non-constant initializer for static object
constexpr-init.c:27:22: warning: non-constant initializer for static object
constexpr-init.c:28:25: warning: non-constant initializer for static object
constexpr-init.c:29:34: warning: non-constant initializer for static object
constexpr-init.c:38:24: warning: non-constant initializer for static object
 * check-error-end
 */