[Freeciv-tickets] [freeciv] #48536: Savegame: Garbage shuffled_player_set

Back to archive index
OSDN Ticket System norep****@osdn*****
Sat Aug 26 22:32:57 JST 2023


#48536: Savegame: Garbage shuffled_player_set

  Open Date: 2023-08-24 12:18
Last Update: 2023-08-26 16:32

URL for this Ticket:
    https://osdn.net//projects/freeciv/ticket/48536
RSS feed for this Ticket:
    https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=48536

---------------------------------------------------------------------

Last Changes/Comment on this Ticket:
2023-08-26 16:32 Updated by: cazfi
 * Status Update from Open to Closed
 * Resolution Update from Accepted to Fixed


---------------------------------------------------------------------
Ticket Status:

      Reporter: cazfi
         Owner: cazfi
          Type: Bugs
        Status: Closed
      Priority: 5 - Medium
     MileStone: 3.0.9
     Component: Server
      Severity: 5 - Medium
    Resolution: Fixed
---------------------------------------------------------------------

Ticket 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 information of Freeciv project
Freeciv Project is hosted on OSDN

Project URL: https://osdn.net/projects/freeciv/
OSDN: https://osdn.net

URL for this Ticket:
    https://osdn.net/projects/freeciv/ticket/48536
RSS feed for this Ticket:
    https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=48536



More information about the Freeciv-tickets mailing list
Back to archive index