Savegame: Garbage shuffled_player_set

• Relator: cazfi
• Dono: cazfi
• Tipo: Bugs
• Estado: Fechado
• Componente: Server
• Marcos: 3.0.9 (fechado)
• Prioridade: 5 - Medium
• Gravidade: 5 - Medium
• Resolução: Fixed
• Arquivo: 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

• Dono Update from (Nenhum) to cazfi
• Resolução Update from Nenhum to Accepted

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

• Estado Update from Aberto to Fechado
• Resolução Update from Accepted to Fixed