#46200: city_rally_point_receive(): Give parameters nonnull attribute
Open Date: 2022-12-05 09:15
Last Update: 2022-12-15 08:34
URL for this Ticket:
https://osdn.net//projects/freeciv/ticket/46200
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=46200
---------------------------------------------------------------------
Last Changes/Comment on this Ticket:
2022-12-15 08:34 Updated by: cazfi
* Status Update from Open to Closed
* Resolution Update from Accepted to Fixed
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: cazfi
Type: Patches
Status: Closed
Priority: 5 - Medium
MileStone: 3.1.0-beta1
Component: General
Severity: 5 - Medium
Resolution: Fixed
---------------------------------------------------------------------
Ticket details:
NULL parameter for city_rally_point_receive() would crash it (as warned by clang analyzer). No caller passes NULL, but to make that known to the tools, and to make sure future callers comply too, give the parameters nonnull attribute.
--
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/46200
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=46200