projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e55a8e) | patch
[Ada] Crash on precondition, discriminant and protected objects
authorArnaud Charlet <charlet@adacore.com>
Thu, 16 Jul 2020 12:27:54 +0000 (08:27 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Oct 2020 07:21:39 +0000 (03:21 -0400)
commitb03a25ff5a173bac72b54198af40b2a3594431fc
treeccfbbeba7f5c2aa4c4af3f0c2409d1994cd09a08tree | snapshot
parent2e55a8e5b7b86886ff7f6f71e34a80c847e403e3commit | diff
[Ada] Crash on precondition, discriminant and protected objects

gcc/ada/

* contracts.adb (Is_Prologue_Renaming): This function was
missing support for E_Constant which can also be generated in
protected objects.
gcc/ada/contracts.adb diff | blob | history
Domain: System / Toolchain;