On Wed Jul 15, 2026 at 12:22 AM WEST, David Malcolm wrote: > On Tue, 2026-07-14 at 11:56 +0100, Egas Ribeiro wrote: >> The analyzer's exception_matches_type_p only treated an exception as >> caught when the handler type and exception type were identical, so a >> handler catching a base class did not match a thrown derived class. > > Thanks. This patch looks good to me, apart from the need to rename the > hook in the commit message here: >> Add an eh_may_catch_p langhook returning whether a handler of one > ^^^^^^^^^^^^^^ > > Dave >
I'll resubmit the patch. Egas
