Class CppUnknownOpaqueType

A CppType that has unknown type but a known size. Generally to represent synthesized types that occur in certain cases during IR construction, such as the type of a zero-initialized segment of a partially-initialized array.

Import path

import semmle.code.cpp.ir.internal.CppType

Direct supertypes

Indirect supertypes

TCppType

Fields

byteSize

Predicates

getIRType	Gets the `IRType` that represents this `CppType`. Many different `CppType`s can map to a single `IRType`.
hasType	Holds if the `CppType` represents a prvalue of type `Type` (if `isGLValue` is `false`), or if it represents a glvalue of type `Type` (if `isGLValue` is `true`).
toString	Gets a textual representation of this type.

Inherited predicates

getByteSize	Gets the size of the type in bytes, if known.	from CppType
getDumpString	Gets a string used in IR dumps	from CppType
hasUnderlyingType	Holds if this type represents the C++ type `type` (after resolving typedefs). If `isGLValue` is `true`, then this type represents a glvalue of type `type`. Otherwise, it represents a prvalue of type `type`.	from CppType
hasUnspecifiedType	Holds if this type represents the C++ unspecified type `type`. If `isGLValue` is `true`, then this type represents a glvalue of type `type`. Otherwise, it represents a prvalue of type `type`.	from CppType

Charpred

CppUnknownOpaqueType