validation/flex-array-nested.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

struct f {
	int i;
	long f[];
};

struct s {
	struct f f;
};

union u {
	struct f f;
};

// trigger the examination of the offending types
static int foo(struct s *s, union u *u)
{
	return    __builtin_offsetof(typeof(*s), f)
		+ __builtin_offsetof(typeof(*u), f);
}

/*
 * check-name: flex-array-nested
 * check-command: sparse -Wflexible-array-nested $file
 * check-known-to-fail
 *
 * check-error-start
flex-array-nested.c:6:8: warning: nested flexible arrays
flex-array-nested.c:10:7: warning: nested flexible arrays
 * check-error-end
 */