https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121527
--- Comment #14 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Sorry, I should have mentioned that the problem comes from p.adb in isolation, and more precisely from the store to the_command component, which is not redundant and not dead according to Valgrind.
