Patch: PR 19650 (revised)

[Dale Johannesen <dalej at apple dot com>]

> If all else fails, we might ultimately need both arg0_type and
> arg1_type to be passed.  In which case, its probably easier to
> pass just "t", rather than code=TREE_CODE (t), type=TREE_TYPE(t),
> arg0_type=TREE_OPERAND(t,0) and arg1_type=TREE_OPERAND(t,1).

After staring at it a while longer I decided this was the safest thing to do,
although it wasn't actually necessary for bootstrap to work.  "code" is
still passed separately because it's stored into in the caller, and I don't
want to create a requirement that code==TREE_CODE(t) at that point
(although I think currently it always is).  Bootstrapped and tested on Darwin, 
all languages but Ada.  OK?

2005-01-30  Roger Sayle  <roger@eyesopen.com>
Dale Johannesen  <dalej@apple.com>

PR middle-end/19650
* fold-const.c (fold_binary_op_with_conditional_arg):
Make types match original operands, before STRIP_NOPS.

2005-01-30  Dale Johannesen  <dalej@apple.com>

* g++.dg/opt/pr19650.C:  New test.

Attachment: pr19650.C
Description: Text document

Attachment: diffs.txt
Description: Text document