diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-02-21 07:27:14 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-02-21 07:27:14 +0000 |
| commit | 6f8a811614b1675b34fa867cd1de80d8d9f5d57f (patch) | |
| tree | 9afc5eb8f6b3f32272ea733644e2f80a2300694c /gcc/tree-ssa-dom.c | |
| parent | bee2651c3985d89333d7ce4ef1bd45a2a3490f52 (diff) | |
| download | gcc-6f8a811614b1675b34fa867cd1de80d8d9f5d57f.tar.gz | |
PR tree-optimization/18663
* tree-ssa-dom.c (extract_range_from_cond): Return 0
if the type has variable bounds.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@95320 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-dom.c')
| -rw-r--r-- | gcc/tree-ssa-dom.c | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index 0d34ea22fcf..88c7f92fd4b 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -3189,16 +3189,19 @@ extract_range_from_cond (tree cond, tree *hi_p, tree *lo_p, int *inverted_p) tree op1 = TREE_OPERAND (cond, 1); tree high, low, type; int inverted; - + + type = TREE_TYPE (op1); + /* Experiments have shown that it's rarely, if ever useful to record ranges for enumerations. Presumably this is due to the fact that they're rarely used directly. They are typically cast into an integer type and used that way. */ - if (TREE_CODE (TREE_TYPE (op1)) != INTEGER_TYPE) + if (TREE_CODE (type) != INTEGER_TYPE + /* We don't know how to deal with types with variable bounds. */ + || TREE_CODE (TYPE_MIN_VALUE (type)) != INTEGER_CST + || TREE_CODE (TYPE_MAX_VALUE (type)) != INTEGER_CST) return 0; - type = TREE_TYPE (op1); - switch (TREE_CODE (cond)) { case EQ_EXPR: |