https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95343
--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> --- I have proposed a patch series on the mailing list to address PR 93385 and the last patch in it also addresses this issue and allows gdb to print the correct value of the removed parameter: https://gcc.gnu.org/pipermail/gcc-patches/2020-May/546705.html
