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