On Thu, 2025-10-02 at 18:26 -0400, David Malcolm wrote: > In r16-1631-g2334d30cd8feac I added support for capturing state > information from -fanalyzer in the form of embedded XML strings > in SARIF output. > > In r16-2211-ga5d9debedd2f46 I rewrote this so the state was captured > in > the form of a SARIF directed graph, using various custom types. > > I want to add the ability to capture other kinds of graph in our > SARIF > output (e.g. inheritance hierarchies, CFGs, etc), so the following > patch > reworks the state graph handling code to minimize the use of custom > types. > Instead, the patch introduces various json::property types, and > describes the state graph serialization in terms of instances of > these > properties, rather than hardcoding string attribute names in readers > and > writers. The custom SARIF properties live in a new > "gcc/custom-sarif-properties/" directory. > > The "experimental-html" scheme keys "show-state-diagrams-dot-src" and > "show-state-diagrams-sarif" become "show-graph-dot-src" and > "show-graph-dot-src" in preparation for new kinds of graph in the > output. > > Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. > Pushed to trunk as r16-4193-ge4ab1f87805a65.
This seems to have broken the build with GCC 5.5 (tracked as PR bootstrap/122151), so I've reverted this for now as r16-4208- g8cd2db265e73c5. Sorry about this. Dave
