offsetof（）が使用されたときのCoverityスキャンエラーRW.UNDEFINED_IDENTIFIER

Question

構造内のメンバーのオフセットを計算しようとしているときに、未定義の識別子が検出されました。

typedef struct A 
{ 
    uint8_t mem[10]; 
} A; 

size_t offset = offsetof(A, mem); // This line raises the error. 

正確なカバー率の説明は、「識別子mem is undefined」です。

memをmem [0]、mem []で置き換えようとしましたが、構造体Aからtypedefを削除しましたが、何も解決しないようです。誰かがカバレッジを揺るがす可能性のあるものへの指針を持っているなら、それは素晴らしいことでしょう。

[更新＃1]： - のgcc/gの++ 5.4.0、7.5.1コベリティ

[更新＃2、私はUbuntuのに16.04（4.4.0-38-ジェネリックカーネル）を使用しています]：このような構造を持つスタンドアロンtest.cのとコマンドラインオプションを、次のことコベリティ幸せを維持します：

cov-build --dir . cc -c test.c -o test -Werror -march=corei7 -g -fstrict-aliasing -fstack-protector -fstrict-overflow -Wall -Wextra -Wshadow -Wmissing-prototypes -Wstrict-prototypes -O3 -fomit-frame-pointer -fPIE. 

興味深いことに、私は全体のプロジェクトをコンパイルするとき、それは同じラインのためのエラーの束につながる：、UNDEFINED_IDENTIFIER ROUTINE_NOT_EMITTED、TYPE_IDENTIFIER_NOT_ALLOWED。

Answer 1

Coverity 8.0.0.9と8.5.0.5とGCC 4.6.3と5.2.0を使用しているため、この問題を再現できません。私の再生器は：

#include <stdint.h> 
#include <stddef.h> 

typedef struct A 
{ 
    uint8_t mem[10]; 
} A; 

size_t offset = offsetof(A, mem); // This line raises the error. 

あなたはGCCで完全にコンパイルされていません。私はgcc -c test.cを私のコマンドラインとして使用しました。

offsetofはシステムヘッダーで定義されているマクロなので、マクロが展開されてもCoverityの難易度がわかります（コマンドライン上の展開と同じではありません）。 Coverityをこれを拒否するモードにする。良い次のステップは、あなたのソースファイルを前処理して、ここで前処理されたスニペットをコンパイラのコマンドラインと共に展開して、どのoffsetofに展開しているのかを確認することです。