On Fri, 2026-06-19 at 19:05 +0100, Egas Ribeiro wrote: > The Region Model example in the analyzer internals docs had a few > inconsistencies with the dumps. Fix these, and add a note that > heap-allocated region numbering depends on traversal order.
Looks good to me; thanks! Do you have the ability to push to trunk, or do you want me to do this for you? Dave
