https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118194
--- Comment #3 from sshannin at gmail dot com --- > The wording is also quite confusing - it should probably say 'dereferencing 'p' would access uninitialized memory'. Oh, indeed. I can certainly confirm that's how I interpreted it when filing this bug. I didn't even realize until your reply just now that it was talking about the (assumed) deref instead of p itself.