Predicate IRTypeConsistency::multipleCanonicalLanguageTypes
Holds if the type has more than one result for IRType.getCanonicalLanguageType()
.
Import path
import semmle.code.cpp.ir.IR
predicate multipleCanonicalLanguageTypes(IRType type, string message)