在WP插件手柄工会和可以键入双关语?

问题描述 投票:1回答:1

我有一个双关类型例如工作,我想知道,如果WP或其他插件可以处理这个问题。到目前为止,我真的无法找到WP和工会什么,但他们似乎得到支持。

下面是一个例子片段:

float uint32_reg_to_float(uint32_t val) {
    union {
        uint32_t ui32;
        float    f;
    } u;

    u.ui32 = val;
    return u.f;
}
frama-c
1个回答
1
投票

据我所知,WP将只能够应付在最有限的意义上使用工会总是读取已写入的最后一次联合进行了更新完全相同的现场方案,即(在这种情况下,从一个纯粹的逻辑点,可以更多或更少的查看所有字段为不同的变量)。这可能不是你的类型双关的意思,但...

在另一方面,伊娃不应该有这样的工会有任何问题,具有明显的警告,当视为浮点,反之亦然,将导致一个小的整数间隔一个抽象的位模式可能会更加精确。

© www.soinside.com 2019 - 2024. All rights reserved.