1 /* { dg-do compile } */
2 /* { dg-options "-fdiagnostics-format=sarif-file" } */
4 extern char *gets (char *s
);
12 /* Verify that some JSON was written to a file with the expected name. */
13 /* { dg-final { verify-sarif-file } } */
15 /* Use a Python script to verify various properties about the generated
17 { dg-final { run-sarif-pytest diagnostic-test-metadata-sarif.c "diagnostic-test-metadata-sarif.py" } } */