[PATCH] Fix PR tree-optimization/18663

[Eric Botcazou]

Hi,

This is the ACATS failure

FAIL:	cc1221d

on IA-32, AMD64, IA-64 and PowerPC.

We have a tree checking failure at

extract_range_from_cond:

    case GT_EXPR:
      high = TYPE_MAX_VALUE (type);
      if (!tree_int_cst_lt (op1, high))
	return 0;
      low = int_const_binop (PLUS_EXPR, op1, integer_one_node, 1);
      inverted = 0;
      break;

because the TYPE_MAX_VALUE of

     SUBTYPE SINT1 IS INT
          RANGE INT (IDENT_INT (-4)) .. INT (IDENT_INT (4));

is not an INTEGER_CST (it's a VAR_DECL).


The proposed fix is to give up in that case.  Bootstrapped/regtested on 
i586-redhat-linux-gnu.


2005-02-20  Eric Botcazou  <ebotcazou@libertysurf.fr>

	PR tree-optimization/18663
	* tree-ssa-dom.c (extract_range_from_cond): Return 0
	if the type has variable bounds.


-- 
Eric Botcazou
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pr18663.diff
Type: text/x-diff
Size: 1109 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20050221/bb3da6f6/attachment.bin>