/* { dg-do compile } */
/* { dg-options "-fdiagnostics-format=sarif-file" } */

/* Generate a warning in a header file.  */
#include "diagnostic-format-sarif-file-header-role.h"

/* Verify that some JSON was written to a file with the expected name.  */
/* { dg-final { verify-sarif-file } } */

/* Verify that the header file's "role" is "resultFile", as per "NOTE 3"
   in SARIF v2.1.0 section 3.24.6.  */
/* { dg-final { scan-sarif-file "\"roles\": \\\[\"resultFile\"\\\]" } } */