diff options
| author | Javier Miranda <miranda@adacore.com> | 2024-08-05 15:56:33 +0000 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-23 10:51:03 +0200 |
| commit | aa95cd98575bd25e211d4ef0a025844575e752b4 (patch) | |
| tree | 0e7c6836253bb49fbc92259b360b2bbfadf0adfa /gcc/expr.cc | |
| parent | 8a41af72e060b150df3ce8a77120705155cb698e (diff) | |
| download | gcc-aa95cd98575bd25e211d4ef0a025844575e752b4.zip gcc-aa95cd98575bd25e211d4ef0a025844575e752b4.tar.gz gcc-aa95cd98575bd25e211d4ef0a025844575e752b4.tar.bz2 | |
ada: Error missing when 'access is applied to an interface type object
The compiler does not report an error when 'access is applied to
a non-aliased class-wide interface type object.
gcc/ada/
* exp_util.ads (Is_Expanded_Class_Wide_Interface_Object_Decl): New
subprogram.
* exp_util.adb (Is_Expanded_Class_Wide_Interface_Object_Decl):
ditto.
* sem_util.adb (Is_Aliased_View): Handle expanded class-wide type
object declaration.
* checks.adb (Is_Aliased_Unconstrained_Component): Protect the
frontend against calling Is_Aliased_View with Empty. Found working
on this issue.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions