Savegame: Garbage shuffled_player_set

• 报告人: cazfi
• 属主: cazfi
• 类型: Bugs
• 状态: 关闭
• 组件: Server
• 里程碑: 3.0.9 (关闭)
• 优先: 5 - Medium
• 严重性: 5 - Medium
• 处理结果: Fixed
• 文件: 2

Details

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

任务单历史 (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 Fixed