tophoo

### Description / Steps to reproduce the issue The problem can be reproduced by ``` #include #include int main() { FILE* f = tmpfile(); int errsv = errno; printf("%p\n", (void*)f);...