Comment # 3 on bug 115 from Iain Buclaw

(In reply to comment #1)
> The problem starts in the frontend, optimize.c(DotVarExp::optimize).
> It optimizes 'func(_f(a).i)' into 'func (a)', so it produces a call to func
> with an incorrectly typed parameter.
> 
> The backend then tries to pass 'a' in floating point register leading to
> these strange results.
> 
> @Iain do you think this should be fixed in the frontend or in the glue layer
> by doing an explicit conversion? I also wonder why the GCC backend didn't
> catch this problem, I thought it should know there's a type mismatch between
> the function declaration and the actual call?

You could do a view convert in SymbolExp if 'this->type' and 'this->var->type'
mismatch.  There'd be no way to enforce that we are dealing with a union
optimisation though...