Project

General

Profile

Actions

Feature #1120

closed

Continent_id num_continents/num_oceans in civ_map

Added by Marko Lindqvist about 1 month ago. Updated 8 days ago.

Status:
Closed
Priority:
Normal
Category:
General
Target version:
Start date:
11/15/2024
Due date:
% Done:

0%

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

Actions #1

Updated by Marko Lindqvist about 1 month ago

  • Description updated (diff)
Actions #3

Updated by Marko Lindqvist 10 days ago

  • Target version changed from 3.2.0 to 3.2.0-beta2
Actions #4

Updated by Marko Lindqvist 8 days ago

  • Status changed from In Review to Closed
Actions

Also available in: Atom PDF