diff options
| author | Jeff Law <law@redhat.com> | 2006-02-23 15:47:58 -0700 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2006-02-23 15:47:58 -0700 |
| commit | e260a6142ed8318481fb933dec96c93873c013d1 (patch) | |
| tree | 1b539335ba44456341fd10899dfa31baedc3dcf5 /gcc/tree-vrp.c | |
| parent | 10c5bc6c2d22d7eddcba9a779985278a7bc58313 (diff) | |
| download | gcc-e260a6142ed8318481fb933dec96c93873c013d1.zip gcc-e260a6142ed8318481fb933dec96c93873c013d1.tar.gz gcc-e260a6142ed8318481fb933dec96c93873c013d1.tar.bz2 | |
re PR tree-optimization/26425 (ice on valid C code with flag -Os)
PR tree-optimization/26425
* tree-vrp.c (vrp_visit_assignment): If the LHS's type has a NULL
min/max, then assume its varying.
* gcc.c-torture/compile/pr26425.c: New test.
From-SVN: r111399
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 911ccb2..c0fb35a 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -3375,7 +3375,11 @@ vrp_visit_assignment (tree stmt, tree *output_p) /* We only keep track of ranges in integral and pointer types. */ if (TREE_CODE (lhs) == SSA_NAME - && (INTEGRAL_TYPE_P (TREE_TYPE (lhs)) + && ((INTEGRAL_TYPE_P (TREE_TYPE (lhs)) + /* It is valid to have NULL MIN/MAX values on a type. See + build_range_type. */ + && TYPE_MIN_VALUE (TREE_TYPE (lhs)) + && TYPE_MAX_VALUE (TREE_TYPE (lhs))) || POINTER_TYPE_P (TREE_TYPE (lhs)))) { struct loop *l; |