blob: 051a1ceb46386520732574374f20b58e3b38d1d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
/* 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.*\"" } } */
|