aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew MacLeod <amacleod@redhat.com>2023-08-02 17:46:58 -0400
committerAndrew MacLeod <amacleod@redhat.com>2023-08-03 14:19:54 -0400
commitc47ceea55118d00d4bf68eaae6f9ac7707c1b9fc (patch)
tree3709d0795789acd15d72648b68743d2f6f4d3b5b
parentd61efa3cd3378be38738bfb5139925d1505c1325 (diff)
downloadgcc-c47ceea55118d00d4bf68eaae6f9ac7707c1b9fc.zip
gcc-c47ceea55118d00d4bf68eaae6f9ac7707c1b9fc.tar.gz
gcc-c47ceea55118d00d4bf68eaae6f9ac7707c1b9fc.tar.bz2
Automatically set type is certain Value_Range routines.
Set routines which take a type shouldn't have to pre-set the type of the underlying range as it is specified as a parameter already. * value-range.h (Value_Range::set_varying): Set the type. (Value_Range::set_zero): Ditto. (Value_Range::set_nonzero): Ditto.
-rw-r--r--gcc/value-range.h7
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/value-range.h b/gcc/value-range.h
index d8af6fc..622b688 100644
--- a/gcc/value-range.h
+++ b/gcc/value-range.h
@@ -679,15 +679,16 @@ public:
tree type () { return m_vrange->type (); }
bool varying_p () const { return m_vrange->varying_p (); }
bool undefined_p () const { return m_vrange->undefined_p (); }
- void set_varying (tree type) { m_vrange->set_varying (type); }
+ void set_varying (tree type) { init (type); m_vrange->set_varying (type); }
void set_undefined () { m_vrange->set_undefined (); }
bool union_ (const vrange &r) { return m_vrange->union_ (r); }
bool intersect (const vrange &r) { return m_vrange->intersect (r); }
bool contains_p (tree cst) const { return m_vrange->contains_p (cst); }
bool singleton_p (tree *result = NULL) const
{ return m_vrange->singleton_p (result); }
- void set_zero (tree type) { return m_vrange->set_zero (type); }
- void set_nonzero (tree type) { return m_vrange->set_nonzero (type); }
+ void set_zero (tree type) { init (type); return m_vrange->set_zero (type); }
+ void set_nonzero (tree type)
+ { init (type); return m_vrange->set_nonzero (type); }
bool nonzero_p () const { return m_vrange->nonzero_p (); }
bool zero_p () const { return m_vrange->zero_p (); }
wide_int lower_bound () const; // For irange/prange comparability.