]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Add assertions on tampering counts
authorBob Duff <duff@adacore.com>
Tue, 4 May 2021 14:13:36 +0000 (10:13 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 6 Jul 2021 14:46:52 +0000 (14:46 +0000)
commit68c27b2a702d073e21cd41c0080c849f7a4804ca
tree6b17c1d79cd1073f8ca379801961c3af200c00de
parent885efc5e70f46c8fe38855815bb37fecc5783046
[Ada] Add assertions on tampering counts

gcc/ada/

* libgnat/a-conhel.adb: Assert that tampering counts remain
between 0 and 2**31-1.  This makes debugging of
finalization-related bugs easier.
gcc/ada/libgnat/a-conhel.adb