xref: /illumos-gate/usr/src/tools/smatch/src/validation/bug-expand-union0.c (revision 55fea89dcaa64928bed4327112404dcb3e07b79f)
1 union u {
2 	char c;
3 	float f;
4 };
5 
6 static int foo(void)
7 {
8 	union u u = { .f = 0.123 };
9 	return u.c;
10 }
11 
12 /*
13  * check-name: bug-expand-union
14  * check description: must not infer the value from the float
15  * check-command: test-linearize $file
16  * check-known-to-fail
17  *
18  * check-output-ignore
19  * check-output-contains: load\\.
20  * check-output-excludes: ret\\..*\\$
21  */
22