search for: typesafety

Thanks John! You would not believe this :), but literally just 5 minutes ago I saw the TypeSafety pass and it seems to be exactly what we need. So we'll try to leverage that... Best, -- Zvonimir -- http://zvonimir.info http://soarlab.org/ On Mon, Dec 15, 2014 at 10:28 AM, John Criswell <jtcriswel at gmail.com> wrote: > On 12/14/14, 4:33 PM, Zvonimir Rakamaric wrote: >> &g...

Hi John, all, Thanks for your responses everybody. This is actually helpful and I think I now better understand what is going on here. Unless there is a pointer involved, DSA will not collapse nodes. That makes sense... What we would like to leverage DSA for is essentially type-unsafe memory accesses, such as the example where code write a byte into the 0th byte of an integer. Another example

...seems to generate the most surprise/consternation. The reason our source language includes the "outside-the-GC-heap" pseudo-object is that it allows more powerful code (you could think of it as allowing polymorphism over GC-heap-ness of inputs) with no adverse effects to the system's typesafety guarantees. > > Relating this back to the question of what address space an alloca belongs in (which I'm doing to contextualize, not in an attempt to continue the debate), as the stack (of which there is only one) is outside-the-GC-heap, the question is one of whether you want to concept...

> -----Original Message----- > From: Philip Reames [mailto:listmail at philipreames.com] > Sent: Friday, August 28, 2015 9:38 AM > To: Swaroop Sridhar <Swaroop.Sridhar at microsoft.com>; llvm-dev <llvm- > dev at lists.llvm.org>; Sanjoy Das <sanjoy at playingwithpointers.com> > Cc: Joseph Tremoulet <jotrem at microsoft.com>; Andy Ayers > <andya at

...ng Local.cpp for Release+Asserts build llvm[4]: Compiling Printer.cpp for Release+Asserts build llvm[4]: Compiling SanityCheck.cpp for Release+Asserts build llvm[4]: Compiling StdLibPass.cpp for Release+Asserts build llvm[4]: Compiling TopDownClosure.cpp for Release+Asserts build llvm[4]: Compiling TypeSafety.cpp for Release+Asserts build llvm[4]: Building Release+Asserts Archive Library libLLVMDataStructure.a make[4]: Leaving directory '/home/NIKHILREDDY/WORK/LLVM_OBJ/projects/poolalloc/lib/DSA' make[4]: Entering directory '/home/NIKHILREDDY/WORK/LLVM_OBJ/projects/poolalloc/lib/PoolAllocate...