https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
simon at pushface dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |simon at pushface dot org --- Comment #19 from simon at pushface dot org --- The small reproducer (minimal.tar.gz) doesn’t show the error with macOS : GCC 6.1.0, GCC 7.1.0, GCC 8.0.0, GNAT GPL 2017 debian jessie: GNAT GPL 2017 NB, for GNAT GPL 2017 I had to add Astrings to the interface set in ahven_simple_lib.gpr.