Savegame: Garbage shuffled_player_set

• 回報者: cazfi
• 負責人: cazfi
• 類型: 問題回報
• 狀態: 關閉
• 元件: Server
• 里程碑: 3.0.9 (closed)
• 優先權: 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

Ticket History (3/5 Histories)

2023-08-24 18:18 Updated by: cazfi

• New Ticket "Savegame: Garbage shuffled_player_set" created

2023-08-24 18:37 Updated by: cazfi

• File 0004-Savegame-Fix-shuffled-players-order-loading-warning.patch (File ID: 13054) is attached

2023-08-24 18:38 Updated by: cazfi

• File 0002-Savegame-Fix-shuffled-players-order-loading-warning.patch (File ID: 13055) is attached

2023-08-24 18:46 Updated by: cazfi

• 負責人 Update from (無) to cazfi
• 處理結果 Update from 無 to Accepted

2023-08-26 22:32 Updated by: cazfi

• 狀態 Update from 開啟 to 關閉
• 處理結果 Update from Accepted to 修正