Ensure we do not dereference nullptr

p4lang · Feb 23, 2024 · 94b821f · 94b821f
1 parent 8fa01e5
commit 94b821f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/backends/p4tools/modules/testgen/targets/bmv2/test/small-step/reachability.cpp b/backends/p4tools/modules/testgen/targets/bmv2/test/small-step/reachability.cpp
@@ -90,7 +90,9 @@ const Node *getSpecificNode(const IR::P4Program *program, cstring name) {
 
         return false;
     };
-    return program->getDeclarations()->where(filter)->singleOrDefault()->template to<Node>();
+    if (auto *node = program->getDeclarations()->where(filter)->singleOrDefault())
+        return node->template to<Node>();
+    return nullptr;
 }
 
 template <class T>