Hi, we are facing the same issue. This bugzilla was opened: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69976
We were thinking on making a function attribute that ensures that non necessary registers, or stack frames used by the function will be correctly cleared before returning. We think in implementing for x86_64 as a first work. For this we are trying to modify the epilogue generation. Here we should have the information of which registers this function used, and the size of the stack frame to clean. The downside of this is that will be architecture dependent. Do you think this is a good idea? Do you suggest something else? Thanks.
