Displaying 2 results from an estimated 2 matches for "paste04".
Did you mean:
paste0
2015 Jun 15
2
[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?
...ses available, even though people wouldn't want to use them
on a day-to-day basis.
Constraints contain stride info, and intersection is then used to
> compute what sub-variables a constraint touches during solving.
> It is a variant of this:
> http://homepages.mcs.vuw.ac.nz/~djp/files/paste04.ps
Thanks, I'll try to give it a read.
> Some programs have so many sub-variables you will run out of memory.
> This is true in the location set approach as well.
>
I'm surprised you ran into that kind of trouble with memory. Was that back
in 32-bit days?
> GCC only crea...
2015 Jun 15
2
[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?
On Mon, Jun 15, 2015 at 4:54 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> > I'm mostly going from Robert Wilson's 1997 phd thesis, although I'm
> pretty
> > sure I've seen a lot of the same ideas elsewhere as well.
>
> Yes, using summary/transfer functions has been tried a lot.
> Note: the numbers in most of these phd thesis do *not* get born