Code: __int128 v = 12345; int main() { printf("%g", (double)v); } Compile: clang --target=x86_64-w64-mingw32 ... Segfault in libgcc function __floattidf gcc pass to __floattidf address of value in rdx, and clang pass value itself in rdx:r8