https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102967
--- Comment #5 from jbeulich at suse dot com --- (In reply to Martin Sebor from comment #4) > The expression pa->c is only valid if pa points to a valid object. Well, yes, you may not deref pa if it's NULL, i.e. I agree for pa->c. But is &pa->c actually a deref?
