Coverity 抱怨 htonl 操作数，但为什么呢？

Question

此代码将本地切换转换为传出网络顺序布尔值（实际上是一个 32 位 uint）并且至少已有 10 年历史，但 Coverity 最近才开始抱怨它。我不明白问题是什么以及它从哪里得到“操作数|”从。问题是 htonl 只适用于 32 位值，而我们有 16 位值的 htons 吗？这是误检吗？

struct network_response_t {
    uint32_t exclusive;
}

bitmap16_t mode_t {
  TYPE_MIXED = 0x0,
  TYPE_EXCLUSIVE = 0x1,
  ...
}

mode_t local_mode;
network_response_t response;

response.exclusive = htonl((local_mode & TYPE_EXCLUSIVE) ? 1 : 0);

错误：

Operands don't affect result (CONSTANT_EXPRESSION_RESULT) result_independent_of_operands: (__uint16_t)((__uint32_t)((local_mode & TYPE_EXCLUSIVE) ? 1 : 0) & 65535) >> 8 is 0 regardless of the values of its operands. This occurs as the bitwise second operand of "|".

Answer 1

这是误报。在小端平台上，htonl 进行端交换，提取参数的字节并使用按位或运算符以相反的顺序将它们放回原处。 Coverity 正确地意识到这些字节之一将始终为零，因为在这种情况下原始参数始终为 0 或 1。但得出事实是无意的结论是错误的。

我建议将此情况报告给 Coverity 的支持团队，以便他们进行修复。

Coverity 抱怨 htonl 操作数，但为什么呢？

Coverity complains about htonl operands but why?

c

c++

networking

htonl

coverity