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.
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,
Egas
