Coverity靜態分析儀報告的問題可以在Flex生成的掃描儀文件中忽略

Question

我在My Project上運行Coverity靜態分析儀工具，該工具有一些flex/bison生成的cpp文件。 Coverity正在報告其中一個flex文件的警告。

CID 340350 (#1 of 1): Dereference before null check (REVERSE_INULL) 
check_after_deref: Null-checking **yyg->yy_buffer_stack** 

表明它可能爲空，但它已在所有通向檢查的路徑上被取消引用。

其中Coverity的報告的問題柔性生成文件的代碼片段：

​​

Answer 1

有兩種可能 - 要麼它可以是NULL在這種情況下，有一個錯誤的指針已經收到了解除引用甚至到了支票，或支票過分防守編碼，沒有任何意義。

由於它生成的代碼，我會傾向於忽略缺陷，除非你相信它實際上可以是NULL。