[tree-ssa] where to fix this? (tentative patch)

[Dale Johannesen]

The patch below causes a regression in one of the other Specmarks.  At 
this
point I will not have a fix before Christmas break.  See you all in 
January.

On Dec 23, 2003, at 1:08 PM, Dale Johannesen wrote:
> Index: tree-ssa-dom.c
> ===================================================================
> RCS file: /cvs/gcc/gcc/gcc/Attic/tree-ssa-dom.c,v
> retrieving revision 1.1.2.98
> diff -u -d -b -w -r1.1.2.98 tree-ssa-dom.c
> --- tree-ssa-dom.c      16 Dec 2003 21:42:31 -0000      1.1.2.98
> +++ tree-ssa-dom.c      23 Dec 2003 21:04:59 -0000
> @@ -1802,6 +1802,12 @@
>                       && is_gimple_min_invariant (val)))
>                 may_have_exposed_new_symbols = true;
>
> +             /* Make sure types match.  We cannot substitute a
> +                boolean for an int for example, fold() doesn't
> +                handle this as we would like.  */
> +             if (TREE_TYPE (*op_p) != TREE_TYPE (val))
> +               val = convert (TREE_TYPE (*op_p), val);
> +
>               propagate_value (op_p, val);
>
>               /* And note that we modified this statement.  This is now
>