diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-10-07 09:39:42 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-10-07 09:39:42 +0000 |
| commit | 3faf75d458529592007436a0972f44e14ebf46f6 (patch) | |
| tree | cc34cdcee277b5f7eef9d3176588d5bbb959f75b /gcc/tree-vrp.c | |
| parent | 7a3248463c2095ba112a31809f2965d04bed03b3 (diff) | |
| download | gcc-3faf75d458529592007436a0972f44e14ebf46f6.zip gcc-3faf75d458529592007436a0972f44e14ebf46f6.tar.gz gcc-3faf75d458529592007436a0972f44e14ebf46f6.tar.bz2 | |
Use value_range_base::num_pairs instead of vrp_val_is* to check if a range
has one sub-range.
From-SVN: r276653
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a2ab4a2..86e4dac 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -379,10 +379,7 @@ value_range_base::singleton_p (tree *result) const } return false; } - - /* An anti-range that includes an extreme, is just a range with - one sub-range. Use the one sub-range. */ - if (vrp_val_is_min (m_min, true) || vrp_val_is_max (m_max, true)) + if (num_pairs () == 1) { value_range_base vr0, vr1; ranges_from_anti_range (this, &vr0, &vr1, true); |