/* We require -fdiagnostics-text-art-charset= to get any text art here
   because of the test suite using -fdiagnostics-plain-output.  */

/* { dg-additional-options "-fdiagnostics-format=sarif-file -fdiagnostics-text-art-charset=ascii" } */

#include <stdint.h>

int32_t arr[10];

void int_arr_write_element_after_end_off_by_one(int32_t x)
{
  arr[10] = x;
}

/* Verify that some JSON was written to a file with the expected name.

   { dg-final { verify-sarif-file } }

   Expect the "alt-text" to be captured.
     { dg-final { scan-sarif-file "\"text\": \"Diagram visualizing the predicted out-of-bounds access\"," } }

   Expect the diagram to have 4 leading spaces (to indicate a code block),
   and that at least part of the diagram was written out.
     { dg-final { scan-sarif-file "\"markdown\": \"    .*capacity: 40 bytes.*\"" } } */