https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84468
--- Comment #12 from Martin Sebor <msebor at gcc dot gnu.org> --- Yes, all the relevant tests pass with the patch. There is no warning for either the test case in comment #0 or the one in comment #11. The change from v1 of the patch is just the addition of test for null to avoid the ICE.
