https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77351
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Hi steve, > Thou shalt not derefernce NULL pointers. Correct. The patch is pre-approved (alternatively, it could be considered obvious and simple). Thanks! Regards Thomas
