Skip to content
Snippets Groups Projects
Commit e4c8f702 authored by David Malcolm's avatar David Malcolm
Browse files

testsuite: add verify-sarif-file to some testcases that were missing it


gcc/testsuite/ChangeLog:
	* gcc.dg/analyzer/malloc-sarif-1.c: Add missing verify-sarif-file
	directive.
	* gcc.dg/analyzer/sarif-pr107366.c: Likewise.

Signed-off-by: default avatarDavid Malcolm <dmalcolm@redhat.com>
parent 282e4e74
No related branches found
No related tags found
No related merge requests found
...@@ -12,6 +12,8 @@ void test_1 (void) ...@@ -12,6 +12,8 @@ void test_1 (void)
/* Verify SARIF output. /* Verify SARIF output.
{ dg-final { verify-sarif-file } }
The threadFlowLocation objects should have "kinds" properties The threadFlowLocation objects should have "kinds" properties
reflecting the meanings of the events: reflecting the meanings of the events:
{ dg-final { scan-sarif-file "\"kinds\": \\\[\"acquire\", \"memory\"\\\]" } } { dg-final { scan-sarif-file "\"kinds\": \\\[\"acquire\", \"memory\"\\\]" } }
......
...@@ -18,3 +18,4 @@ hwloc_apply_diff_one() { ...@@ -18,3 +18,4 @@ hwloc_apply_diff_one() {
} }
} }
/* { dg-final { verify-sarif-file } } */
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment