@@ -63,6 +63,7 @@ along with GCC; see the file COPYING3. If not see
#include "analyzer/checker-path.h"
#include "analyzer/feasible-graph.h"
#include "make-unique.h"
+#include "diagnostic-format-sarif.h"
/* A bundle of data characterizing a particular infinite loop
identified within the exploded graph. */
@@ -105,6 +106,18 @@ struct infinite_loop
&& m_loc == other.m_loc);
}
+ json::object *
+ to_json () const
+ {
+ json::object *loop_obj = new json::object ();
+ loop_obj->set_integer ("enode", m_enode.m_index);
+ json::array *edge_arr = new json::array ();
+ for (auto eedge : m_eedge_vec)
+ edge_arr->append (eedge->to_json ());
+ loop_obj->set ("eedges", edge_arr);
+ return loop_obj;
+ }
+
const exploded_node &m_enode;
location_t m_loc;
std::vector<const exploded_edge *> m_eedge_vec;
@@ -297,6 +310,15 @@ public:
}
}
+ void maybe_add_sarif_properties (sarif_object &result_obj)
+ const final override
+ {
+ sarif_property_bag &props = result_obj.get_or_create_properties ();
+#define PROPERTY_PREFIX "gcc/analyzer/infinite_loop_diagnostic/"
+ props.set (PROPERTY_PREFIX "inf_loop", m_inf_loop->to_json ());
+#undef PROPERTY_PREFIX
+ }
+
private:
std::unique_ptr<infinite_loop> m_inf_loop;
};
Tested lightly by hand. Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. Successful run of analyzer integration tests on x86_64-pc-linux-gnu. Pushed to trunk as r14-9901-g107b0e63be023c. gcc/analyzer/ChangeLog: * infinite-loop.cc: Include "diagnostic-format-sarif.h". (infinite_loop::to_json): New. (infinite_loop_diagnostic::maybe_add_sarif_properties): New. Signed-off-by: David Malcolm <dmalcolm@redhat.com> --- gcc/analyzer/infinite-loop.cc | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+)