aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/bug-expand-union0.c
blob: dd6d60c3e29145e5677e78195ddfd73d9596f8d6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
union u {
	char c;
	float f;
};

static int foo(void)
{
	union u u = { .f = 0.123 };
	return u.c;
}

/*
 * check-name: bug-expand-union
 * check description: must not infer the value from the float
 * check-command: test-linearize $file
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-contains: load\\.
 * check-output-excludes: ret\\..*\\$
 */