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