https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119697
Bug ID: 119697
Summary: Support for exception subclass matching in analyzer
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Blocks: 97111
Target Milestone: ---
I have a patch in development for PR 97111 (adding exception-handling support
to -fanalyzer), but so far it only does *exact* matches on exceptions types,
rather than e.g. on subclasses (see the rules in
https://en.cppreference.com/w/cpp/language/catch)
I plan to merge that patch once stage 1 reopens, as it's a huge improvement
over what was before, but am filing this bug to track the work on properly
supporting subclasses etc (and for use in XFAILs).
The C++ frontend supports this in cp/except.cc: can_convert, but that's not
available to the analyzer in the middle end.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97111
[Bug 97111] Support for exception-handling within -fanalyzer
