projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92f372f) | patch
[Ada] Spurious error on protected call in inherited postcondition
authorEd Schonberg <schonberg@adacore.com>
Sun, 24 Jan 2021 18:18:28 +0000 (13:18 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 7 May 2021 09:28:51 +0000 (05:28 -0400)
commit9f0d76eca6b9f9b9d451e889dad28f22885fd1a3
treee633bbd556ab763ecfaa130ef7b9e0978a30920ctree | snapshot
parent92f372f00936a549de2cb9764eee722bb07959bacommit | diff
[Ada] Spurious error on protected call in inherited postcondition

gcc/ada/

* exp_util.adb (Build_Class_Wide_Expression, Replace_Entity):
Add guard to verify that the enclosing pragma is a precondition.
gcc/ada/exp_util.adb diff | blob | history
Domain: System / Toolchain;