Module TranslatedElement

Import path

semmle.code.cpp.ir.implementation.raw.internal.TranslatedElement

Imports

IR
cpp

Provides classes and predicates for working with C/C++ code.

cpp

Provides classes and predicates for working with C/C++ code.

Predicates

getIntType

Gets the built-in int type.

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.

isIRConstant

Holds if expr is a constant of a type that can be replaced directly with its value in the IR. This does not include address constants as we have no means to express those as QL values.

Classes

TranslatedElement

Represents an AST node for which IR needs to be generated.

Datatypes