Predicate ignoreLoad
Holds if expr
has an lvalue-to-rvalue conversion that should be ignored
when generating IR. This occurs for conversion from an lvalue of function type
to an rvalue of function pointer type. The conversion is represented in the
AST as an lvalue-to-rvalue conversion, but the IR represents both a function
lvalue and a function pointer prvalue the same.
Import path
import semmle.code.cpp.ir.implementation.raw.internal.TranslatedElement
predicate ignoreLoad(Expr expr)