check_deref: use add_dereference_hook()

[smatch.git] / validation / memops / type-punning-int2flt.c

union u {
        int i;
        float f;
};

static float foo(void)
{
        union u u = { .i = 3 };
        return u.f;
}

/*
 * check-name: type-punning-int-to-float
 * check description: must not infer the float value from the int
 * check-command: test-linearize $file
 *
 * check-output-ignore
 * check-output-contains: load\\.
 */