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