[LLVMdev] PROPOSAL: IR representation of detailed struct assignment information

Renato Golin rengolin at systemcall.org
Sat Sep 1 13:06:23 PDT 2012

On 31 August 2012 23:22, Peter Cooper <peter_cooper at apple.com> wrote:
> Then holes in the IR type really are holes and we wouldn't need new metadata for holes.

AFAIK, there's no way to forbid access to an IR type, or a sub-type.
In that case, the holes would be addressable, which is not
semantically valid in any language.



More information about the llvm-dev mailing list