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