[LLVMdev] Opaque Undef Types?

[Reid Spencer]

I'm looking at and running: 
test/Regression/Assembler/2005-05-05-OpaqueUndefValues.ll

which says:
; RUN: llvm-as < %s | llvm-dis | llvm-as

%t = type opaque
%x = global %t undef

Why is this valid? Shouldn't the assembler reject it (it doesn't)? How
can a global variable be defined as opaque? What's it size? 

Does this just indicate that %x is some "unknown undefined" global which
will be resolved when linking?

If so, the CBE will choke (abort) on it, as does my XPLBE. Should I fix
this? How? Just declare it as a "char" or something? Won't that confuse
the linker?

Reid
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20050513/f8522baf/attachment.sig>