[Freeciv-Dev] (PR#12022) duplicate free when destroying or taking over a city

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=12022 >

The problem (taken in the civ_1.sav.gz with the attached rc file) is
that player 3 and player 4 have the same dumb_city in their playermap.

2: Freeing city for player 3 (1cd69010 - 1c79c2d0), tile 62,8.
2: Freeing city for player 4 (1c9c7590 - 1c79c2d0), tile 62,8.

The first pointer is pplayer->private_map, the second pointer is pdcity.

Figuring out why this happens will take more digging.  But this explains
why the "impossible" happens inside reality_check_city.

-jason

civ_1.rc
Description: Binary data