Predicate hasOpaqueType
Holds if an IROpaqueType with the specified tag and byteSize should exist.
Import path
import semmle.code.cpp.ir.internal.CppTypepredicate hasOpaqueType(Type tag, int byteSize)Holds if an IROpaqueType with the specified tag and byteSize should exist.
import semmle.code.cpp.ir.internal.CppTypepredicate hasOpaqueType(Type tag, int byteSize)