Predicate hasUnsignedIntegerType
Holds if an IRUnsignedIntegerType with the specified byteSize should exist.
Import path
import semmle.code.cpp.ir.internal.CppTypepredicate hasUnsignedIntegerType(int byteSize)Holds if an IRUnsignedIntegerType with the specified byteSize should exist.
import semmle.code.cpp.ir.internal.CppTypepredicate hasUnsignedIntegerType(int byteSize)