1 files changed, 37 insertions, 0 deletions
diff --git a/gcc/diagnostic-state.h b/gcc/diagnostic-state.h
new file mode 100644
index 0000000..68c3e00
--- /dev/null
+++ b/gcc/diagnostic-state.h
@@ -0,0 +1,37 @@
+/* Capturing changing state in diagnostic paths.
+   Copyright (C) 2025 Free Software Foundation, Inc.
+   Contributed by David Malcolm <dmalcolm@redhat.com>.
+
+This file is part of GCC.
+
+GCC is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 3, or (at your option)
+any later version.
+
+GCC is distributed in the hope that it will be useful, but
+WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
+
+#ifndef GCC_DIAGNOSTIC_STATE_H
+#define GCC_DIAGNOSTIC_STATE_H
+
+/* We want to be able to express changing program states in diagnostic paths,
+   so that we can emit this in HTML and SARIF output, and to keep this
+   separate from implementation details of -fanalyzer.
+
+   For now, we use xml::document as the type in the diagnostic subsystem
+   for (optionally) tracking the state at a diagnostic_event.  */
+
+namespace xml { class document; }
+namespace dot { class graph; }
+
+extern std::unique_ptr<dot::graph>
+make_dot_graph_from_xml_state (const xml::document &xml_state);
+
+#endif /* GCC_DIAGNOSTIC_STATE_H */