dag at cray.com
Mon Nov 17 09:55:15 PST 2008
On Friday 14 November 2008 18:31, David Greene wrote:
> On Thursday 13 November 2008 18:27, David Greene wrote:
> > On Wednesday 12 November 2008 19:13, Chris Lattner wrote:
> > > You shouldn't be refining the pointer, you should use:
> > >
> > > t1->refineAbstractType(t2)
> > Ok, I tried this and I get further. But the type system seems to have
> > trouble when refining multiple types and those types resolve to the same
> > thing. I turned on DEBUG_MERGE_TYPES to illustrate:
> Attached is some code that illustrates what I think is the problem.
Any opinions as to whether this is a bug? Should I file a PR?
More information about the llvm-dev