xbolva00 added a comment. Too bad we cannot transform printf(str) to fputs(str, stdout). It would be quite interesting I think. But since we know how stdout is represented under GNU/glibc, we can do it under condition "isLinux && isGNU" ? https://reviews.llvm.org/D47159