[LLVMdev] IR type safety

[Renato Golin]

On 21 September 2010 17:40, John Criswell <criswell at illinois.edu> wrote:
> That said, you can generate type-safe LLVM IR, and if you force your
> front-end to generate IR with certain restrictions, you can probably prove
> that it is type-safe.

Indeed, I was referring to that kind of type safety... ;)


-- 
cheers,
--renato

http://systemcall.org/

Reclaim your digital rights, eliminate DRM, learn more at
http://www.defectivebydesign.org/what_is_drm