]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8314fdc) | patch
ada: Add Invocation node to the SARIF report
authorViljar Indus <indus@adacore.com>
Fri, 11 Oct 2024 13:34:36 +0000 (16:34 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 4 Nov 2024 15:57:57 +0000 (16:57 +0100)
commite6d88c002305f4840d4add9316e551c5ae04333d
treefbffdc87b53fbe273d96bb1e2a540114718b87d6tree
parent8314fdc7f352c2cd90fe0bfd6a87af48807bf65ccommit | diff
ada: Add Invocation node to the SARIF report

Add an invocation node to the SARIF report that contains the
command line use to activate gnat and whether the execution was
successful or not.

gcc/ada/ChangeLog:

* diagnostics-sarif_emitter.adb (Print_Runs): Add printing for
the invocation node that consists of a single invocations that
is composed of the commandLine and executionSuccessful attributes.
gcc/ada/diagnostics-sarif_emitter.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git