Predicate nodes
Holds if node belongs to the output graph, and its property key has the given value.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.PrintIRpredicate nodes(PrintableIRNode node, string key, string value)Holds if node belongs to the output graph, and its property key has the given value.
import semmle.code.cpp.ir.implementation.aliased_ssa.PrintIRpredicate nodes(PrintableIRNode node, string key, string value)