チケット #45872

S3_0 luasql clang analyzer warnings

登録: 2022-10-15 19:24 最終更新: 2022-10-28 12:38

報告者:
担当者:
チケットの種類:
状況:
完了
コンポーネント:
マイルストーン:
優先度:
5 - 中
重要度:
5 - 中
解決法:
修正済み
ファイル:
1

詳細

Clang analyzer gives some NULL dereference warnings about luasql code in S3_0. That does not happen with later branches. I don't know what makes the difference - we have newer version of luasql in S3_1 & master, but the changes don't seem relevant.

It's easy enough to silence those warnings by checking against NULL pointer in the very spots the warnings are given about, but if there's real problem (i.e. if NULL pointers can really make it there) that would only mean that the crash would happen a bit later where the very same pointer would be dereferenced again, even though analyzers heuristics don't catch that.

チケットの履歴 (6 件中 3 件表示)

2022-10-15 19:24 更新者: cazfi
  • 新しいチケット "S3_0 luasql clang analyzer warnings" が作成されました
2022-10-15 19:25 更新者: cazfi
  • 詳細が更新されました
2022-10-25 12:17 更新者: cazfi
コメント

Reply To cazfi

in S3_0. That does not happen with later branches. I don't know what makes the difference

The difference comes from lua5.3 vs lua5.4 headers. The way macros are defined in the latter make it clear to the analyzer that there's no problem.

2022-10-26 03:25 更新者: cazfi
  • 担当者(未割り当て) から cazfi に更新されました
  • 解決法なし から 受領 に更新されました
コメント

Patch meant for S3_0 only (not to later branches)

2022-10-28 12:38 更新者: cazfi
  • 状況オープン から 完了 に更新されました
  • 解決法受領 から 修正済み に更新されました

編集

このチケットにコメントを追加するには、ログインが必要です » ログインする