Feature #1120: Continent_id num_continents/num_oceans in civ_map - Freeciv - Freeciv Ticket System

Actions

Copy link

Feature #1120

open

Continent_id num_continents/num_oceans in civ_map

Added by Marko Lindqvist 8 days ago. Updated 8 days ago.

Status:

In Review

Priority:

Normal

Assignee:

Marko Lindqvist

Category:

General

Target version:

3.2.0

Start date:

11/15/2024

Due date:

% Done:

Estimated time:

Description

CodeQL complains about comparisons with wide num_continents and narrow values of actual continent ids. Make also num_continents / num_oceans (narrow) Continent_id. Those numbers need to fit in Continent_id - if not, then the type has to be updated.

Files

Download all files

0079-civ_map-Set-num_continent-num_oceans-type-to-Contine.patch (898 Bytes) 0079-civ_map-Set-num_continent-num_oceans-type-to-Contine.patch	main	Marko Lindqvist, 11/15/2024 09:31 PM
0039-civ_map-Set-num_continent-num_oceans-type-to-Contine.patch (920 Bytes) 0039-civ_map-Set-num_continent-num_oceans-type-to-Contine.patch	S3_2	Marko Lindqvist, 11/15/2024 09:31 PM