gcc-pr22550.patch

   1 From: ja2morri at csclub dot uwaterloo dot ca (James A dot  Morrison)
   2 Date: Mon, 25 Jul 2005 10:37:52 -0400
   3
   4 Hi,
   5
   6 This fixes PR22550 by simply returning COND in vrp_evaluate_condition if
   7 it is an INTEGER_CST.  In PR22550 I believe the if (0) comes from
   8 merge_seq_blocks which is called after cleanup_control_flow in
   9 cleanup_tree_cfg.  This patch has been bootstrapped and regtested on ia64-linux
  10 with no new regressions, ok for mainline?
  11
  12 Thanks,
  13 Jim
  14
  15 2005-07-25  James A. Morrison  <phython@gcc.gnu.org>
  16
  17         PR tree-optimization/22550
  18         * tree-vrp.c (vrp_evaluate_condition): Return COND if it is an
  19         INTEGER_CST.
  20
  21 --- gcc/gcc/tree-vrp.c  20 Jul 2005 20:26:00 -0000      2.42
  22 +++ gcc/gcc/tree-vrp.c  25 Jul 2005 14:22:55 -0000
  23 @@ -3014,6 +3072,9 @@ compare_names (enum tree_code comp, tree
  24  tree
  25  vrp_evaluate_conditional (tree cond, bool use_equiv_p)
  26  {
  27 +  if (TREE_CODE (cond) == INTEGER_CST)
  28 +    return cond;
  29 +
  30    gcc_assert (TREE_CODE (cond) == SSA_NAME
  31                || TREE_CODE_CLASS (TREE_CODE (cond)) == tcc_comparison);
  32