[Bug ada/116945] Valgrind reports uninitialized memory use in sem_ch12.adb (sem_ch12__instance_context__save_and_reset)

[mark at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #9 from Mark Wielaard <mark at gcc dot gnu.org> ---
Re comment #4. Sam reports that --expensive-definedness-checks=yes doesn't work
in this case.