[Bug ada/126379] bogus error for 'Value invoked on function call with In Out parameter and -gnatVa

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126379

--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The compiler aborts earlier with assertions enabled:

+===========================GNAT BUG DETECTED==============================+
| 17.0.0 20260730 (experimental) [master r17-2723-g3f2b3eced0f]
(x86_64-suse-linux) |
| Assert_Failure failed precondition from einfo-entities.ads:219           |
| Error detected at p.adb:16:46                                            |
| Compiling p.adb                                                          |