Module IRCppLanguage
Import path
import semmle.code.cpp.ir.internal.IRCppLanguageImports
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 |
| 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++ |