Module IRCppLanguage
Import path
import semmle.code.cpp.ir.internal.IRCppLanguage
Imports
Predicates
getFieldBitOffset | Gets the offset of field |
getPointerSize | |
getStringLiteralText | |
getTypeSize | |
hasAsmOperandIndex | |
hasCaseEdge | |
hasGoto | |
hasPositionalArgIndex | |
hasPotentialLoop | |
isFunctionVirtual | Holds if the specified |
isVariableAutomatic |
Aliases
AST | A C/C++ element that has a location in a file |
AutomaticVariable | A C/C++ variable with automatic storage duration. In other words, a function parameter or a local variable that is not static or thread-local. For example, the variables |
BuiltInOperation | A C/C++ built-in operation. This is the root QL class encompassing built-in functionality. |
Class | A class type [N4140 9]. |
ClassDerivation | A class derivation, for example the |
ComplexDomain | The type domain of a floating-point type that represents a complex number. |
Declaration | A C/C++ declaration: for example, a variable declaration, a type declaration, or a function declaration. |
Expr | A C/C++ expression. |
Field | A C structure member or C++ non-static member variable. For example the member variable |
File | A file that was observed on disk during the build process. |
FloatingPointType | The C/C++ floating point types. See 4.5. This includes |
Function | A C/C++ function [N4140 8.3.5]. Both member functions and non-member functions are included. For example the function |
GlobalVariable | A C/C++ variable which has global scope or namespace scope. For example the variables |
ImaginaryDomain | The type domain of a floating-point type that represents an imaginary number. |
IntegralType | The C/C++ integral types. See 4.1.1. These are types that are represented as integers of varying sizes. Both |
LanguageType | The C++ type of an IR entity. This cannot just be |
Location | A location of a C/C++ artifact. |
OpaqueTypeTag | A C/C++ type. |
Parameter | A C/C++ function parameter, catch block parameter, or requires expression parameter. For example the function parameter |
RealDomain | The type domain of a floating-point type that represents a real number. |
StaticVariable | A variable whose contents always have static storage duration. This can be a global variable, a namespace variable, a static local variable, or a static member variable. |
StringLiteral | A string literal. For example: |
Type | A C/C++ type. |
TypeDomain | The type domain of a floating-point type. One of |
UnknownDefaultLocation | A dummy location which is used when something doesn’t have a location in the source code but needs to have a |
UnknownLocation | A dummy location which is used when something doesn’t have a location in the source code but needs to have a |
UnknownType | The unknown type. This type has no corresponding C/C++ syntax. |
Variable | A C/C++ variable. For example, in the following code there are four variables, |
VoidType | The C/C++ |