https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66782
--- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> --- Adding clobbered registers explicitly is exactly the same as adding them to call_fusage, so I don't see any problem here from the first sight. Can you please provide a minimized testcase, following instructions at [1]. Unfortunately, I don't have access to Windows target, please provide a testcase that fails on linux. You can decorate calls with __attribute__((ms_abi)) even on linux. [1] https://gcc.gnu.org/bugs/#report