#46200: city_rally_point_receive(): Give parameters nonnull attribute
Open Date: 2022-12-05 09:15
Last Update: 2022-12-05 18:04
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-05 18:04 Updated by: cazfi
* Owner Update from (None) to cazfi
* Resolution Update from None to Accepted
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: cazfi
Type: Patches
Status: Open [Owner assigned]
Priority: 5 - Medium
MileStone: 3.1.0-beta1
Component: General
Severity: 5 - Medium
Resolution: Accepted
---------------------------------------------------------------------
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