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

Class IRSignedIntegerType

A signed two’s-complement integer. Also used to represent enums whose underlying type is a signed integer, as well as character types whose representation is signed.

Import path

import semmle.code.cpp.ir.IR

Direct supertypes

Indirect supertypes

Inherited fields

Predicates

getByteSize

Gets the size of the type, in bytes, if known.

getCanonicalLanguageType

Gets a single instance of LanguageType that maps to this IRType.

isSigned

Holds if this integer type is signed.

toString

Gets a textual representation of this type.

Inherited predicates

getIdentityString

Gets a string that uniquely identifies this IRType. This string is often the same as the result of IRType.toString(), but for some types it may be more verbose to ensure uniqueness.

from IRType
isUnsigned

Holds if this integer type is unsigned.

from IRIntegerType