diff options
| author | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-06-26 09:42:12 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-06-26 09:42:12 +0000 |
| commit | 84b6c11d48b6a5b3004c30aa95ef1e471c9ed7b6 (patch) | |
| tree | 832a38ceac8474b5673041bc535e87555aecb096 /gcc/vr-values.c | |
| parent | 1ead98d2e560d6aa3ea4b7236e933d994d3008c4 (diff) | |
| download | gcc-84b6c11d48b6a5b3004c30aa95ef1e471c9ed7b6.zip gcc-84b6c11d48b6a5b3004c30aa95ef1e471c9ed7b6.tar.gz gcc-84b6c11d48b6a5b3004c30aa95ef1e471c9ed7b6.tar.bz2 | |
Avoid comparing two anti range binary ops. It's tricky at best.
From-SVN: r272682
Diffstat (limited to 'gcc/vr-values.c')
| -rw-r--r-- | gcc/vr-values.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gcc/vr-values.c b/gcc/vr-values.c index c9977d5..e9777b6 100644 --- a/gcc/vr-values.c +++ b/gcc/vr-values.c @@ -804,14 +804,14 @@ vr_values::extract_range_from_binary_expr (value_range *vr, #if 0 { value_range_base v; - tree type = integer_type_node; - enum tree_code code = MIN_EXPR; - value_range_base vr0 (VR_RANGE, - build_int_cst (type, 1), - TYPE_MAX_VALUE (type)); + tree type = signed_char_type_node; + enum tree_code code = BIT_IOR_EXPR; + value_range_base vr0 (VR_ANTI_RANGE, + build_int_cst (type, -127), + build_int_cst (type, 63)); value_range_base vr1 (VR_ANTI_RANGE, - build_int_cst (type, 0), - build_int_cst (type, 0)); + build_int_cst (type, -127), + build_int_cst (type, -1)); range_fold_binary_expr (&v, code, type, &vr0, &vr1); } #endif |