]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5f673d) | patch
ada: Spurious error on class-wide preconditions
authorJavier Miranda <miranda@adacore.com>
Thu, 27 Jul 2023 11:02:20 +0000 (11:02 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Aug 2023 11:14:35 +0000 (13:14 +0200)
commit3ad67df218bf6073f4c783df54cdf0e20fa5e42a
tree859beb1450705b5eb7bb30f0a1edac1c3c9a9e61tree
parentc5f673dbc252e35e6b66e9b8abd30a4027193e0bcommit | diff
ada: Spurious error on class-wide preconditions

The compiler reports an spurious error when a class-wide precondition
expression has a class-wide type conversion.

gcc/ada/

* sem_res.adb (Resolve_Type_Conversion): Do not warn on conversion
to class-wide type on internally build helpers of class-wide
preconditions.
gcc/ada/sem_res.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.055788 seconds and 5 git commands to generate.