https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90949
Jeffrey A. Law <law at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2019-06-20 CC| |law at redhat dot com Ever confirmed|0 |1 --- Comment #1 from Jeffrey A. Law <law at redhat dot com> --- Yea, it looks like we don't have NULL in the points-to set for "module", as a result we think the "module" parameter can never be NULL and the check gets eliminated. I don't think the referenced change introduced the issue, but certainly could have taken a latent issue and made it active. Anyway, poking at it now.