aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-vrp.c9
-rw-r--r--gcc/tree-vrp.h1
3 files changed, 5 insertions, 10 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d45d4fc..c585360 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
2019-11-04 Aldy Hernandez <aldyh@redhat.com>
+ * tree-vrp.c (range_int_cst_singleton_p): Remove.
+ * tree-vrp.h (range_int_cst_singleton_p): Remove.
+
+2019-11-04 Aldy Hernandez <aldyh@redhat.com>
+
* tree-vrp.c (value_range_base::normalize_addresses): Handle
VR_UNDEFINED.
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index c0c1e87..070db90 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -945,15 +945,6 @@ range_int_cst_p (const value_range_base *vr)
return (vr->kind () == VR_RANGE && range_has_numeric_bounds_p (vr));
}
-/* Return true if VR is a INTEGER_CST singleton. */
-
-bool
-range_int_cst_singleton_p (const value_range_base *vr)
-{
- return (range_int_cst_p (vr)
- && tree_int_cst_equal (vr->min (), vr->max ()));
-}
-
/* Return the single symbol (an SSA_NAME) contained in T if any, or NULL_TREE
otherwise. We only handle additive operations and set NEG to true if the
symbol is negated and INV to the invariant part, if any. */
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h
index 4bfdfeb..1fde88fe 100644
--- a/gcc/tree-vrp.h
+++ b/gcc/tree-vrp.h
@@ -282,7 +282,6 @@ extern bool infer_value_range (gimple *, tree, tree_code *, tree *);
extern bool vrp_bitmap_equal_p (const_bitmap, const_bitmap);
extern bool range_int_cst_p (const value_range_base *);
-extern bool range_int_cst_singleton_p (const value_range_base *);
extern int compare_values (tree, tree);
extern int compare_values_warnv (tree, tree, bool *);