gcc/testsuite/c-c++-common/diagnostic-format-sarif-file-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-fdiagnostics-format=sarif-file -Wmisleading-indentation" } */
   3
   4 int test (void)
   5 {
   6   if (1)
   7     return 3;
   8     return 4;
   9   return 5;
  10 }
  11
  12 /*
  13    { dg-final { verify-sarif-file } }
  14
  15        { dg-final { scan-sarif-file "\"level\": \"warning\"" } }
  16        { dg-final { scan-sarif-file "\"ruleId\": \"-Wmisleading-indentation\"" } }
  17          { dg-final { scan-sarif-file "\"text\": \"  if " } }
  18
  19        { dg-final { scan-sarif-file "\"locations\": \\\[" } }
  20
  21        We expect a logical location for the error (within fn "test"):
  22          { dg-final { scan-sarif-file "\"logicalLocations\": \\\[" } }
  23            { dg-final { scan-sarif-file "\"kind\": \"function\"" } }
  24            { dg-final { scan-sarif-file "\"name\": \"test\"" } }
  25            { dg-final { scan-sarif-file "\"fullyQualifiedName\": \"test\"" } }
  26            { dg-final { scan-sarif-file "\"decoratedName\": \"" } }
  27
  28        We expect the "note" to become a "relatedLocations" entry:
  29        { dg-final { scan-sarif-file "\"relatedLocations\": \\\[" } }
  30          { dg-final { scan-sarif-file "\"text\": \"    return 4;" } }
  31 */