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