https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790
--- Comment #42 from Bernd Schmidt <bernds at gcc dot gnu.org> --- I don't think that would actually help. Even if something is an actual incoming argument register, it may still be uninitialized by the caller. That's true for plain scalars, but even more likely for something like the partial struct initialization in comment #8.