diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2021-01-24 13:18:28 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-07 05:28:51 -0400 |
| commit | 9f0d76eca6b9f9b9d451e889dad28f22885fd1a3 (patch) | |
| tree | e633bbd556ab763ecfaa130ef7b9e0978a30920c /gcc/ada/gcc-interface | |
| parent | 92f372f00936a549de2cb9764eee722bb07959ba (diff) | |
| download | gcc-9f0d76eca6b9f9b9d451e889dad28f22885fd1a3.zip gcc-9f0d76eca6b9f9b9d451e889dad28f22885fd1a3.tar.gz gcc-9f0d76eca6b9f9b9d451e889dad28f22885fd1a3.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions