[adlint-user-ja:97] Re: W9001エラーになる問題
Open source and free source code static analyzer
Brought to you by:
asamiogis
From: Yutaka Y. <ya...@us...> - 2015-01-31 10:45:09
|
矢野尾です。 ご報告ありがとうございます。 確かに、現状のコード評価の仕組み上、ご例示いただいたようなコードの場合 flg 変数がとり得る値として 0 のみを仮定してコードチェックするため、 flg == 1 の条件が常に偽であると誤認してしまいます。 この問題を解決するためには、制御が到達しないデッドコードを検知するため の仕組みを見直す必要があります。 が、、、私事ですが、現在対応のための時間を作れそうにありません。 ご報告頂けたにも関わらず申し訳ありませんが、対応までにお時間を頂きたい と思います。 以上 -- 矢野尾 裕 <ya...@us...> |