[PATCH] Fix loop optimization bug

[Eric Botcazou]

> Can it be your patch is for the 4.3 branch only?  Trunk has
>
>     case VIEW_CONVERT_EXPR:
>       /* This kind of view-conversions may wrap non-addressable objects
>          and make them look addressable.  After some processing the
>          non-addressability may be uncovered again, causing ADDR_EXPRs
>          of inappropriate objects to be built.  */
>       if (is_gimple_reg (TREE_OPERAND (expr, 0))
>           || is_gimple_min_invariant (TREE_OPERAND (expr, 0)))
>         return true;
>
> and so never should fall through to the default case for
> unary/binary expressions.

Why?  PLUS_EXPR is neither is_gimple_reg nor is_gimple_min_invariant.
Should I add tcc_unary to the set of codes for which true is returned?

-- 
Eric Botcazou