https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113397
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> --- This actually fails the same way with plain -fdump-ada-spec, but I disabled that flag due to PR107978 and PR107977
zsojka at seznam dot cz via Gcc-bugs Mon, 15 Jan 2024 04:03:13 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113397
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> --- This actually fails the same way with plain -fdump-ada-spec, but I disabled that flag due to PR107978 and PR107977