Feature #56: update_city_activities(): Make 'pplayers' nonnull - Freeciv - Freeciv Ticket System

Actions

Copy link

Feature #56

closed

update_city_activities(): Make 'pplayers' nonnull

Added by Marko Lindqvist 11 months ago. Updated 11 months ago.

Status:

Closed

Priority:

Normal

Assignee:

Marko Lindqvist

Category:

Server

Target version:

3.1.0-beta4

Start date:

12/13/2023

Due date:

% Done:

Estimated time:

Description

Give update_city_activities() 'pplayer' parameter nonnull attribute, to avoid clang analyzer warnings about potential NULL dereference when it's used.

Files

Download all files

0016-Give-nonnull-attribute-to-update_city_activities-ppl.patch (2.17 KB) 0016-Give-nonnull-attribute-to-update_city_activities-ppl.patch	main, S3_2	Marko Lindqvist, 12/13/2023 05:58 AM
0009-Give-nonnull-attribute-to-update_city_activities-ppl.patch (2.89 KB) 0009-Give-nonnull-attribute-to-update_city_activities-ppl.patch	S3_1	Marko Lindqvist, 12/13/2023 05:58 AM