projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0471c6) | patch
[Ada] Spurious error on deferred constant with predicate
authorYannick Moy <moy@adacore.com>
Tue, 27 Jul 2021 10:20:41 +0000 (12:20 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 22 Sep 2021 15:01:50 +0000 (15:01 +0000)
commit03b6cc3b3e60379f10a4b055e431488ab10a1760
treec394a714942f94e3ac88c4562ca24a5a8c4caf58tree | snapshot
parentc0471c61e1f3bcd86e819f2e6b5e054f80572a41commit | diff
[Ada] Spurious error on deferred constant with predicate

gcc/ada/

* sem_ch3.adb (Analyze_Object_Declaration): Do not insert a
predicate check after a deferred constant declaration.
gcc/ada/sem_ch3.adb diff | blob | history
Domain: System / Toolchain;