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()`.