https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93212
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Patch pushed to the dmalcolm/analyzer branch on the GCC git mirror: https://gcc.gnu.org/ml/gcc-patches/2020-01/msg00514.html Will close this if/once the analyzer is on trunk and this fix is committed there.