#48536: Savegame: Garbage shuffled_player_set
Open Date: 2023-08-24 12:18
Last Update: 2023-08-24 12:18
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-24 12:18 Updated by: cazfi
* New Ticket "Savegame: Garbage shuffled_player_set" created
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: (None)
Type: Bugs
Status: Open
Priority: 5 - Medium
MileStone: 3.0.9
Component: Server
Severity: 5 - Medium
Resolution: None
---------------------------------------------------------------------
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