https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111513
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- In this case GCC does not know that dcgettext does not return null and then jump threading causes a patch where there is a check on the return value of dcgettext for null and causes printf to take the null pointer. Most likely a won't fix ...
