diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-08-15 10:45:41 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-08-15 10:45:41 +0000 |
| commit | c7cf3a9bb00b6d64ba0c0e0761f000758e9428a6 (patch) | |
| tree | 27fdae692670f7c23fb207aee69b134a4ec73128 /gcc/tree-vrp.h | |
| parent | eb2211e35713796c5899939d983d9e8c6d037e60 (diff) | |
| download | gcc-c7cf3a9bb00b6d64ba0c0e0761f000758e9428a6.zip gcc-c7cf3a9bb00b6d64ba0c0e0761f000758e9428a6.tar.gz gcc-c7cf3a9bb00b6d64ba0c0e0761f000758e9428a6.tar.bz2 | |
Enforce canonicalization in value_range.
From-SVN: r274525
Diffstat (limited to 'gcc/tree-vrp.h')
| -rw-r--r-- | gcc/tree-vrp.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h index 4ec974f..b583085 100644 --- a/gcc/tree-vrp.h +++ b/gcc/tree-vrp.h @@ -71,12 +71,13 @@ public: /* Misc methods. */ tree type () const; bool may_contain_p (tree) const; - void set_and_canonicalize (enum value_range_kind, tree, tree); bool zero_p () const; bool nonzero_p () const; bool singleton_p (tree *result = NULL) const; void dump (FILE *) const; + value_range_base normalize_symbolics () const; + protected: void check (); static value_range_base union_helper (const value_range_base *, @@ -143,7 +144,6 @@ class GTY((user)) value_range : public value_range_base /* Misc methods. */ void deep_copy (const value_range *); - void set_and_canonicalize (enum value_range_kind, tree, tree, bitmap = NULL); void dump (FILE *) const; private: @@ -270,8 +270,8 @@ extern int operand_less_p (tree, tree); extern bool vrp_val_is_min (const_tree); extern bool vrp_val_is_max (const_tree); -extern tree vrp_val_min (const_tree); -extern tree vrp_val_max (const_tree); +extern tree vrp_val_min (const_tree, bool handle_pointers = false); +extern tree vrp_val_max (const_tree, bool handle_pointers = false); extern void extract_range_from_unary_expr (value_range_base *vr, enum tree_code code, |