diff options
| author | Steve Baird <baird@adacore.com> | 2022-04-14 13:24:15 -0700 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-19 14:05:31 +0000 |
| commit | 382a00418d7214fe678bf99e09f966467fe22a72 (patch) | |
| tree | 3f6bb937917a2acbede77722ffc69f9eca291e96 /gcc/ada/gcc-interface/ada-tree.h | |
| parent | bf0b180b42babb61b4e16388b88350d75aad3c27 (diff) | |
| download | gcc-382a00418d7214fe678bf99e09f966467fe22a72.zip gcc-382a00418d7214fe678bf99e09f966467fe22a72.tar.gz gcc-382a00418d7214fe678bf99e09f966467fe22a72.tar.bz2 | |
[Ada] Avoid internal compiler error for illegal Predicate_Failure aspect spec
gcc/ada/
* sem_ch13.adb (Build_Predicate_Functions): If a semantic error
has been detected then ignore Predicate_Failure aspect
specifications in the same way as is done for CodePeer and
SPARK. This avoids an internal compiler error if
Ancestor_Predicate_Function_Called is True but Result_Expr is
not an N_And_Then node (and is therefore unsuitable as an
argument in a call to Left_Opnd).
Diffstat (limited to 'gcc/ada/gcc-interface/ada-tree.h')
0 files changed, 0 insertions, 0 deletions