[Bug analyzer/110578] Support dynamic_cast within the analyzer

[egas at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110578

Egas  Ribeiro <egas at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |egas at gcc dot gnu.org
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED
            Version|14.0                        |17.0

--- Comment #2 from Egas  Ribeiro <egas at gcc dot gnu.org> ---
My above commit implements this for GCC 17.