1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/sarif-replay.dg/2.1.0-valid/signal-1-check-html.py b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/signal-1-check-html.py
new file mode 100644
index 0000000..a0978da
--- /dev/null
+++ b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/signal-1-check-html.py
@@ -0,0 +1,26 @@
+from htmltest import *
+
+import pytest
+
+@pytest.fixture(scope='function', autouse=True)
+def html_tree():
+    return html_tree_from_env()
+
+def test_generated_html(html_tree):
+    root = html_tree.getroot ()
+    assert root.tag == make_tag('html')
+
+    head = root.find('xhtml:head', ns)
+    assert head is not None
+
+    title = head.find('xhtml:title', ns)
+    assert title.text == '../../src/gcc/testsuite/gcc.dg/analyzer/signal-1.c'
+
+    diag = get_diag_by_index(html_tree, 0)
+
+    msg = get_message_within_diag(diag)
+    assert msg is not None
+    
+    assert_tag(msg[0], 'strong')
+    assert msg[0].text == 'warning: '
+    assert msg[0].tail == " call to ‘fprintf’ from within signal handler "