19192861975

Committed 08 Nov 2025 12:14PM UTC coverage: 61.281% (-0.1%) from 61.415%

Build # 19192861975

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #329 from daisytuner/trap-nodes

Trap nodes and unreachable return

Run Details

17 of 101 new or added lines in 7 files covered. (16.83%)

6 existing lines in 2 files now uncovered.

10264 of 16749 relevant lines covered (61.28%)

100.39 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/src/data_flow/library_nodes/stdlib/trap.cpp

1	#include "sdfg/data_flow/library_nodes/stdlib/trap.h"
2
3	namespace sdfg {
4	namespace stdlib {
5
NEW 6	TrapNode::TrapNode(	×
7	size_t element_id, const DebugInfo& debug_info, const graph::Vertex vertex, data_flow::DataFlowGraph& parent
8	)
NEW 9	: LibraryNode(	×
NEW 10	element_id, debug_info, vertex, parent, LibraryNodeType_Trap, {}, {}, true, data_flow::ImplementationType_NONE	×
NEW 11	) {}	×
12
NEW 13	void TrapNode::validate(const Function& function) const {}	×
14
NEW 15	symbolic::SymbolSet TrapNode::symbols() const { return symbolic::SymbolSet(); }	×
16
17	std::unique_ptr<data_flow::DataFlowNode> TrapNode::
NEW 18	clone(size_t element_id, const graph::Vertex vertex, data_flow::DataFlowGraph& parent) const {	×
NEW 19	return std::make_unique<TrapNode>(element_id, debug_info_, vertex, parent);	×
20	}
21
NEW 22	void TrapNode::replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) {	×
NEW 23	this->size_ = symbolic::subs(this->size_, old_expression, new_expression);	×
NEW 24	}	×
25
NEW 26	nlohmann::json TrapNodeSerializer::serialize(const data_flow::LibraryNode& library_node) {	×
NEW 27	const TrapNode& node = static_cast<const TrapNode&>(library_node);	×
28
NEW 29	nlohmann::json j;	×
NEW 30	j["code"] = node.code().value();	×
31
NEW 32	return j;	×
NEW 33	}	×
34
NEW 35	data_flow::LibraryNode& TrapNodeSerializer::deserialize(	×
36	const nlohmann::json& j, builder::StructuredSDFGBuilder& builder, structured_control_flow::Block& parent
37	) {
NEW 38	assert(j.contains("code"));	×
NEW 39	assert(j.contains("debug_info"));	×
40
NEW 41	auto code = j["code"].get<std::string>();	×
NEW 42	if (code != LibraryNodeType_Trap.value()) {	×
NEW 43	throw InvalidSDFGException("Invalid library node code");	×
44	}
45
NEW 46	sdfg::serializer::JSONSerializer serializer;	×
NEW 47	DebugInfo debug_info = serializer.json_to_debug_info(j["debug_info"]);	×
48
NEW 49	return builder.add_library_node<TrapNode>(parent, debug_info);	×
NEW 50	}	×
51
NEW 52	TrapNodeDispatcher::TrapNodeDispatcher(	×
53	codegen::LanguageExtension& language_extension,
54	const Function& function,
55	const data_flow::DataFlowGraph& data_flow_graph,
56	const TrapNode& node
57	)
NEW 58	: codegen::LibraryNodeDispatcher(language_extension, function, data_flow_graph, node) {}	×
59
NEW 60	void TrapNodeDispatcher::dispatch_code(	×
61	codegen::PrettyPrinter& stream,
62	codegen::PrettyPrinter& globals_stream,
63	codegen::CodeSnippetFactory& library_snippet_factory
64	) {
NEW 65	auto& node = static_cast<const TrapNode&>(node_);	×
66
NEW 67	stream << "__builtin_trap()" << ";";	×
NEW 68	stream << std::endl;	×
NEW 69	}	×
70
71	} // namespace stdlib
72	} // namespace sdfg

daisytuner / sdfglib / 19192861975

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous