diff options
| author | Viljar Indus <indus@adacore.com> | 2024-10-11 16:34:36 +0300 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-04 16:57:57 +0100 |
| commit | e6d88c002305f4840d4add9316e551c5ae04333d (patch) | |
| tree | fbffdc87b53fbe273d96bb1e2a540114718b87d6 /gcc/dwarf2codeview.cc | |
| parent | 8314fdc7f352c2cd90fe0bfd6a87af48807bf65c (diff) | |
| download | gcc-e6d88c002305f4840d4add9316e551c5ae04333d.zip gcc-e6d88c002305f4840d4add9316e551c5ae04333d.tar.gz gcc-e6d88c002305f4840d4add9316e551c5ae04333d.tar.bz2 | |
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.
Diffstat (limited to 'gcc/dwarf2codeview.cc')
0 files changed, 0 insertions, 0 deletions