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

[Renato Golin]

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.

-- 
cheers,
--renato

http://systemcall.org/