Savegame: Garbage shuffled_player_set

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

詳細

Clang analyzer, S3_1:

../../../../src/server/savegame/savegame3.c:3653:13: warning: Branch condition evaluates to a garbage value [core.uninitialized.Branch]
        if (!shuffled_player_set[i]) {
            ^~~~~~~~~~~~~~~~~~~~~~~

Similar error for savegame2.c

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

2023-08-24 18:18 更新者: cazfi

• 新しいチケット "Savegame: Garbage shuffled_player_set" が作成されました

2023-08-24 18:37 更新者: cazfi

• 添付ファイル 0004-Savegame-Fix-shuffled-players-order-loading-warning.patch (File ID: 13054) が付加されました

2023-08-24 18:38 更新者: cazfi

• 添付ファイル 0002-Savegame-Fix-shuffled-players-order-loading-warning.patch (File ID: 13055) が付加されました

2023-08-24 18:46 更新者: cazfi

• 担当者 が (未割り当て) から cazfi に更新されました
• 解決法 が なし から 受領 に更新されました

2023-08-26 22:32 更新者: cazfi

• 状況 が オープン から 完了 に更新されました
• 解決法 が 受領 から 修正済み に更新されました