check_deref: use add_dereference_hook()
[smatch.git] / validation / expand / constant-union-int2flt.c
blob16ce1c6f3fe39e1e7b38ab2c5811941bef3a75f8
1 union u {
2 int i;
3 float f;
4 };
6 static float foo(void)
8 union u u = { .i = 3 };
9 return u.f;
13 * check-name: constant-union-int-to-float
14 * check description: must not infer the float value from the int
15 * check-command: test-linearize -fdump-ir $file
17 * check-output-ignore
18 * check-output-pattern(1): load\\.