blob: d8e86b94537883d066f38f20d4c8b8a4bf4f7202 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/* Verify that SARIF output can capture URLs in diagnostics
related to a bad pragma. */
/* { dg-do compile } */
/* { dg-options "-fdiagnostics-format=sarif-file -Wpragmas" } */
#pragma GCC diagnostic ignored "-Wmisleading-indenttion"
int nonempty;
/* Verify that some JSON was written to a file with the expected name:
{ dg-final { verify-sarif-file } } */
/* Use a Python script to verify various properties about the generated
.sarif file:
{ dg-final { run-sarif-pytest bad-pragma.c "bad-pragma.py" } } */
|
