]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Remove level attribute from Rules in the SARIF report
authorViljar Indus <indus@adacore.com>
Thu, 28 Nov 2024 10:44:37 +0000 (12:44 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 6 Jan 2025 09:14:47 +0000 (10:14 +0100)
A Rule object in the SARIF report does not have a level
attribute. Result objects are the elements in the SARIF
reprot that have a level attribute that ultimately determines
the level of each diagnostic object.

Rules can have a defaultConfiguration attribute which has a level
attribute that can be overridden in multiple ways. This can make
the overall report more complex than it needs to be. It is simpler
to remove the attribute from rules where it does not really matter
and add it back in under the defaultConfiguration when there is an
explicit need for it.

gcc/ada/ChangeLog:

* diagnostics-sarif_emitter.adb (Print_Rule): Remove printing
of the level attribute since it does not match the SARIF schema.

gcc/ada/diagnostics-sarif_emitter.adb

index b6035c2970d659fa8921af10882c6db977a71c1b..f0be97d1a1ea7c0953ed775dc93b6bc804896306 100644 (file)
@@ -229,12 +229,10 @@ package body Diagnostics.SARIF_Emitter is
    procedure Print_Rule (Diag : Diagnostic_Type);
    --  Print a rule node that consists of the following attributes:
    --  * ruleId
-   --  * level
    --  * name
    --
    --  {
    --    "id": <Diag.Id>,
-   --    "level": <Diag.Kind>,
    --    "name": <Human_Id(Diag)>
    --  },
 
@@ -1006,10 +1004,6 @@ package body Diagnostics.SARIF_Emitter is
       Write_Char (',');
       NL_And_Indent;
 
-      Write_String_Attribute ("level", Kind_To_String (Diag));
-      Write_Char (',');
-      NL_And_Indent;
-
       if Human_Id = null then
          Write_String_Attribute ("name", "Uncategorized_Diagnostic");
       else