gcc/testsuite/gcc.dg/sarif-output/no-diagnostics.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-fdiagnostics-format=sarif-file" } */
   3
   4 /* Verify our SARIF output for a translation unit with no diagnostics.  */
   5
   6 int nonempty;
   7
   8 /* Verify that some JSON was written to a file with the expected name:
   9    { dg-final { verify-sarif-file } } */
  10
  11 /* Use a Python script to verify various properties about the generated
  12    .sarif file:
  13    { dg-final { run-sarif-pytest no-diagnostics.c "test-no-diagnostics.py" } } */