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