IMA vs tree-ssa

[Mark Mitchell]

Gabriel Dos Reis wrote:

>I suspect your C++ brackground is showing up :-)
>
>I believe Neil is right. See 
>  
>
[standard clipped]

Thanks for forwarding that, but, as it happens, I'd read it before I 
replied.

I'm not so much questioning what it actually says as I am questioning 
what it meant to say.

In other words, I'm saying I think that this non-transitivity is a defect in the standard, rather than an intentional thing.

--
Mark Mitchell
CodeSourcery, LLC
(916) 791-8304
mark@codesourcery.com