
Consider opaque types as non-first-class types, i.e. do not allow SSA values to have opaque type.
5 lines
87 B
LLVM
5 lines
87 B
LLVM
%struct.A = type { %struct.B }
|
|
%struct.B = type opaque
|
|
|
|
@g = external global %struct.A
|