diff options
| author | Bob Duff <duff@adacore.com> | 2020-05-19 09:23:21 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-08 10:55:52 -0400 |
| commit | 6091c2e0fa1836c6607562d273a529db5535c3d8 (patch) | |
| tree | b5bfe6beb62605b3d500194fd6091b415b1e48bd /gcc/ada/sinfo.adb | |
| parent | 64b15a17a15e1cf06894d4825dba25b94dc365ff (diff) | |
| download | gcc-6091c2e0fa1836c6607562d273a529db5535c3d8.zip gcc-6091c2e0fa1836c6607562d273a529db5535c3d8.tar.gz gcc-6091c2e0fa1836c6607562d273a529db5535c3d8.tar.bz2 | |
[Ada] Disallow Predicate_Failure without predicate
gcc/ada/
* sem_ch13.adb (Predicate_Failure): Check that the type has
predicates. Remove the setting of Has_Delayed_Aspects and
Freeze_Node, because (if the code is legal) it should have
already been done by the predicate aspect.
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions