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 |
missingCppType |
Consistency query to detect C++ |
missingIRType |
Holds if the type has no result for |
multipleCanonicalLanguageTypes |
Holds if the type has more than one result for |
multipleIRTypes |
Holds if the type has more than one result for |