Re: [PATCH 00/12] RFC: Replay of serialized diagnostics

2022-07-08 Thread David Malcolm via Gcc-patches
On Wed, 2022-06-22 at 18:34 -0400, David Malcolm wrote: > We currently have a couple of formats into which our diagnostics can > be serialized: (a) gcc's own json format and (b) SARIF, via: > >   -fdiagnostics-format=json-stderr (and -fdiagnostics-format=json) >   -fdiagnostics-format=json-file >

[PATCH 00/12] RFC: Replay of serialized diagnostics

2022-06-22 Thread David Malcolm via Gcc-patches
We currently have a couple of formats into which our diagnostics can be serialized: (a) gcc's own json format and (b) SARIF, via: -fdiagnostics-format=json-stderr (and -fdiagnostics-format=json) -fdiagnostics-format=json-file -fdiagnostics-format=sarif-stderr -fdiagnostics-format=sarif-fil