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

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)