The compiler was incorrectly accepting generic instantiations with formal objects of named access-to-subprogram types associated with an actual of an anonymous access-to-subprogram type. Analyze_Object_Declaration tests for objects initialized anonymous access-to-subprogram values, and wraps a conversion around the argument, which normally will result in error checks during resolution in Valid_Conversion, but the conversion was only created when the initialization expression Comes_From_Source, which prevented the conversion wrapping from happening for constant declarations resulting from generic expansion. The test for Comes_From_Source was removed. The following test must report the error output given further below for the three constructs marked as errors when compiled with this command: gcc -c -gnatj70 bad_anon_access_instance.adb procedure Bad_Anon_Access_Instance (Anon_Acc : access procedure) is type Ref is access procedure; Ref_1 : Ref := Anon_Acc; -- ERROR (flagged by GNAT) Ref_2 : constant Ref := Anon_Acc; -- ERROR (flagged by GNAT) generic Formal_Ref : Ref; package Gen is end Gen; package Inst is new Gen (Formal_Ref => Anon_Acc); -- ERROR (but not flagged by GNAT) begin null; end Bad_Anon_Access_Instance; ------------- Error output: ------------- bad_anon_access_instance.adb:4:19: illegal attempt to store anonymous access to subprogram, value has deeper accessibility than any master (RM 3.10.2 (13)), use named access type for "Anon_Acc" instead of access parameter bad_anon_access_instance.adb:6:28: illegal attempt to store anonymous access to subprogram, value has deeper accessibility than any master (RM 3.10.2 (13)), use named access type for "Anon_Acc" instead of access parameter bad_anon_access_instance.adb:14:32: illegal attempt to store anonymous access to subprogram, value has deeper accessibility than any master (RM 3.10.2 (13)), use named access type for "Anon_Acc" instead of access parameter 2018-09-26 Gary Dismukes <dismukes@adacore.com> gcc/ada/ * sem_ch3.adb (Analyze_Object_Declaration): Remove test for Comes_From_Source, which prevented implicit conversions from being applied to anonymous access-to-subprogram formals in constant declartions that arise from instance associations for generic formal objects. Add RM and AARM references to comment. From-SVN: r264618
Name |
Last commit
|
Last update |
---|---|---|
INSTALL | Loading commit data... | |
config | Loading commit data... | |
contrib | Loading commit data... | |
fixincludes | Loading commit data... | |
gcc | Loading commit data... | |
gnattools | Loading commit data... | |
gotools | Loading commit data... | |
include | Loading commit data... | |
intl | Loading commit data... | |
libada | Loading commit data... | |
libatomic | Loading commit data... | |
libbacktrace | Loading commit data... | |
libcc1 | Loading commit data... | |
libcpp | Loading commit data... | |
libdecnumber | Loading commit data... | |
libffi | Loading commit data... | |
libgcc | Loading commit data... | |
libgfortran | Loading commit data... | |
libgo | Loading commit data... | |
libgomp | Loading commit data... | |
libhsail-rt | Loading commit data... | |
libiberty | Loading commit data... | |
libitm | Loading commit data... | |
libobjc | Loading commit data... | |
liboffloadmic | Loading commit data... | |
libquadmath | Loading commit data... | |
libsanitizer | Loading commit data... | |
libssp | Loading commit data... | |
libstdc++-v3 | Loading commit data... | |
libvtv | Loading commit data... | |
lto-plugin | Loading commit data... | |
maintainer-scripts | Loading commit data... | |
zlib | Loading commit data... | |
.dir-locals.el | Loading commit data... | |
.gitattributes | Loading commit data... | |
.gitignore | Loading commit data... | |
ABOUT-NLS | Loading commit data... | |
COPYING | Loading commit data... | |
COPYING.LIB | Loading commit data... | |
COPYING.RUNTIME | Loading commit data... | |
COPYING3 | Loading commit data... | |
COPYING3.LIB | Loading commit data... | |
ChangeLog | Loading commit data... | |
ChangeLog.jit | Loading commit data... | |
ChangeLog.tree-ssa | Loading commit data... | |
MAINTAINERS | Loading commit data... | |
Makefile.def | Loading commit data... | |
Makefile.in | Loading commit data... | |
Makefile.tpl | Loading commit data... | |
README | Loading commit data... | |
compile | Loading commit data... | |
config-ml.in | Loading commit data... | |
config.guess | Loading commit data... | |
config.rpath | Loading commit data... | |
config.sub | Loading commit data... | |
configure | Loading commit data... | |
configure.ac | Loading commit data... | |
depcomp | Loading commit data... | |
install-sh | Loading commit data... | |
libtool-ldflags | Loading commit data... | |
libtool.m4 | Loading commit data... | |
ltgcc.m4 | Loading commit data... | |
ltmain.sh | Loading commit data... | |
ltoptions.m4 | Loading commit data... | |
ltsugar.m4 | Loading commit data... | |
ltversion.m4 | Loading commit data... | |
lt~obsolete.m4 | Loading commit data... | |
missing | Loading commit data... | |
mkdep | Loading commit data... | |
mkinstalldirs | Loading commit data... | |
move-if-change | Loading commit data... | |
symlink-tree | Loading commit data... | |
ylwrap | Loading commit data... |