CodeQL library for C/C++
codeql/cpp-all 0.12.6 (changelog, source)
Search

Predicate exprNodeShouldBeInstruction

Holds if node should be an instruction node that maps node.asExpr() to e.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
predicate exprNodeShouldBeInstruction(Node node, Expr e, int n)