]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 960e07d) | patch
analyzer: add SARIF property bag to -Wanalyzer-infinite-loop
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 10 Apr 2024 20:43:29 +0000 (16:43 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 10 Apr 2024 20:43:29 +0000 (16:43 -0400)
commit107b0e63be023c11017aa53625a6557950df4d99
tree3a6c89c9a58b11d94aa24d9a1d5916938b9c2f18tree | snapshot
parent960e07d73a5295adf059053907bcb395115606d2commit | diff
analyzer: add SARIF property bag to -Wanalyzer-infinite-loop

gcc/analyzer/ChangeLog:
* infinite-loop.cc: Include "diagnostic-format-sarif.h".
(infinite_loop::to_json): New.
(infinite_loop_diagnostic::maybe_add_sarif_properties): New.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/infinite-loop.cc diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git