https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97113 Bug 97113 depends on bug 110578, which changed state.
Bug 110578 Summary: Support dynamic_cast within the analyzer https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110578 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |FIXED
