This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Making more builtins fold-able, and handling side-effects in args
- To: rth at redhat dot com
- Subject: Re: Making more builtins fold-able, and handling side-effects in args
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Date: Mon, 5 Feb 01 18:47:18 EST
- Cc: gcc at gcc dot gnu dot org
> You should. It's always best to have the tree as type-correct as
> possible.
Certainly types matter for PLUS_EXPR, but COMPOUND_EXPR?
I don't think converting makes any sense there at all.
The type of a COMPOUND_EXPR matters since it might be the operand of a
PLUS_EXPR. The type of the first operand should be the same as the
type of the COMPOUND_EXPR (so an optimizer could replace it with the
first operand if it could determine that the second operand does not
actually have any side effects). I agree the type of the second operand
does not matter.