https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117988
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Implemented by the above patch for GCC 16.
Example:
$ LD_LIBRARY_PATH=. ./sarif-replay -fjson-comments
../../src/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.27.10-bad-level.sarif
In JSON property '/runs/0/results/0/level':
../../src/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.27.10-bad-level.sarif:12:20:
error: unrecognized value for 'level': 'mostly harmless' [SARIF v2.1.0
§3.27.10]
12 | "level": "mostly harmless", /* { dg-error "unrecognized value
for 'level': 'mostly harmless' \\\[SARIF v2.1.0 §3.27.10\\\]" } */
| ^~~~~~~~~~~~~~~~~
