Module IRTypeConsistency

INTERNAL: Do not use. Query predicates used to check invariants that should hold for all IRType objects. To run all consistency queries for the IR, including the ones below, run “semmle/code/cpp/IR/IRConsistency.ql”.

Import path

import semmle.code.cpp.ir.IR

Predicates

missingCanonicalLanguageType

Holds if the type has no result for IRType.getCanonicalLanguageType().

missingCppType

Consistency query to detect C++ Type objects which have no corresponding CppType object.

missingIRType

Holds if the type has no result for LanguageType.getIRType().

multipleCanonicalLanguageTypes

Holds if the type has more than one result for IRType.getCanonicalLanguageType().

multipleIRTypes

Holds if the type has more than one result for LanguageType.getIRType().