blob: bea04b86a9b69a920968ef5a2251ca6b6997045e [file] [log] [blame]
! { dg-do compile }
! { dg-options "-fdiagnostics-format=sarif-file" }
#error message
! Verify that some JSON was written to a file with the expected name.
! { dg-final { verify-sarif-file } } */
! We expect a failing compile due to the error, but the use of
! -fdiagnostics-format=sarif-file means there should be no output to stderr.
! DejaGnu injects this message; ignore it:
!
! { dg-prune-output "exit status is 1" }
! Use a Python script to verify various properties about the generated
! .sarif file:
! { dg-final { run-sarif-pytest diagnostic-format-sarif-1.F90 "diagnostic-format-sarif-1.py" } }