Predicate Raw::hasUserVariable
Import path
import semmle.code.cpp.ir.implementation.raw.internal.IRConstructionpredicate hasUserVariable(Declaration decl, Variable var, CppType type)import semmle.code.cpp.ir.implementation.raw.internal.IRConstructionpredicate hasUserVariable(Declaration decl, Variable var, CppType type)