On Fri, 2026-06-19 at 19:36 +0100, Egas Ribeiro via Gcc wrote: > Goals for this week: > - Submit initial RFC and discuss the direction of exception handling > in > the analyzer. > - Begin work on the analyzer's C++ wiki page: > https://gcc.gnu.org/wiki/StaticAnalyzer/C++ > > This week the following was done: > - Re-read the analyzer's internal docs/debugging documentation: > Found a couple of inconsistencies with the dumps in the internal > docs, submitted a patch addressing them: > https://gcc.gnu.org/pipermail/gcc-patches/2026-June/720958.html > > - Reviewed exception handling code and spent time on potential > approaches to exception hooks for the analyzer. > > - Implemented initial RFC for exception handling hook: > https://gcc.gnu.org/pipermail/gcc-patches/2026-June/720251.html > Submitted RFC to gcc-patches. > Discussed with David the details and design of the patch. > > - Explored cfarm workflows/spent time setting up > regtesting/bootstrapping on cfarm machines. > > - Submitted complete patch for exception hook to gcc-patches: > https://gcc.gnu.org/pipermail/gcc-patches/2026-June/720960.html > > - Submitted c++ frontend patch so can_convert_eh covers missing > [except.handle] cases that the analyzer needs: > https://gcc.gnu.org/pipermail/gcc-patches/2026-June/720961.html > > - Didn't add to the analyzer's C++ wiki page yet, that will be done > over > the weekend/throughout next week.
I see you've done that now. > > Current Status: > Currently waiting for review of the submitted patches. Once that > comes through, rethink or adjust patches according to reviewer > feedback. PR97114 related work is likely to begin next week > depending on the work left in the exception related patches. Thanks; this looks great. If you find yourself looking for things to do while waiting for Jason's review, how about taking a look at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97113 ? (RTTI and dynamic cast). If so, have a look at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110578 also, where Benjamin (a previous GSoC student) put together some test cases. RTTI-handling and vfunc-handling would probably be closely related. Dave
