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