Re: [PATCH] analyzer: add dynamic_cast support [PR110578]

"Egas Ribeiro" <[email protected]> Wed, 05 Aug 2026 12:58:12 +0100
Newsgroups gmane.comp.gcc.patches
Message-ID <[email protected]>
On Sat Aug 1, 2026 at 1:14 PM WEST, Egas Ribeiro wrote:
>  
>  class kf_operator_new : public known_function
> @@ -371,6 +654,9 @@ register_known_functions_lang_cp (known_function_manager &kfm)
>    kfm.add ("__cxa_end_catch", std::make_unique<kf_cxa_end_catch> ());
>    kfm.add ("__cxa_call_unexpected",
>  	   std::make_unique<kf_cxa_call_unexpected> ());
> +
> +  /*  TODO: [add Itanium C++ ABI mention of __dynamic_cast here]  */
> +  kfm.add ("__dynamic_cast", std::make_unique<kf_dynamic_cast> ());
>  }

I forgot to remove this TODO here, I'll fix that along with other
feedback I receive.

Egas