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