Savegame: Garbage shuffled_player_set

• Reporter: cazfi
• 소유자: cazfi
• Type: Bugs
• Status: Closed
• Component: Server
• MileStone: 3.0.9 (closed)
• Priority: 5 - Medium
• Severity: 5 - Medium
• Resolution: Fixed
• File: 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

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 (None) to cazfi
• Resolution Update from None to Accepted

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

• Status Update from Open to Closed
• Resolution Update from Accepted to Fixed