| /* As per diagnostic-format-sarif-file-timevars-1.c, but |
| adding -ftime-report-details. */ |
| |
| /* { dg-do compile } */ |
| /* { dg-options "-fdiagnostics-format=sarif-file -ftime-report -ftime-report-details" } */ |
| |
| #warning message |
| |
| /* Verify that some JSON was written to a file with the expected name. */ |
| /* { dg-final { verify-sarif-file } } */ |
| |
| /* We expect various properties. |
| The indentation here reflects the expected hierarchy, though these tests |
| don't check for that, merely the string fragments we expect. |
| |
| { dg-final { scan-sarif-file {"invocations": } } } |
| { dg-final { scan-sarif-file {"properties": } } } |
| { dg-final { scan-sarif-file {"gcc/timeReport": } } } |
| { dg-final { scan-sarif-file {"timevars": } } } |
| { dg-final { scan-sarif-file {"name": "TOTAL",} } } |
| */ |
