aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range.cc
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2024-05-10 00:38:51 +0200
committerAldy Hernandez <aldyh@redhat.com>2024-05-16 11:59:08 +0200
commitda73261ce7731be7f2b164f1db796878cdc23365 (patch)
tree9747a709481fa413d64255609ab2ded143910bb6 /gcc/value-range.cc
parentb8e3574e68310f68116f157a35d5650600d13718 (diff)
downloadgcc-da73261ce7731be7f2b164f1db796878cdc23365.zip
gcc-da73261ce7731be7f2b164f1db796878cdc23365.tar.gz
gcc-da73261ce7731be7f2b164f1db796878cdc23365.tar.bz2
Revert "Revert: "Enable prange support.""
This reverts commit d7bb8eaade3cd3aa70715c8567b4d7b08098e699 and enables prange support again.
Diffstat (limited to 'gcc/value-range.cc')
-rw-r--r--gcc/value-range.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index 5bcb2c3f..334ffb7 100644
--- a/gcc/value-range.cc
+++ b/gcc/value-range.cc
@@ -1518,6 +1518,7 @@ irange::verify_range ()
gcc_checking_assert (m_num_ranges == 0);
return;
}
+ gcc_checking_assert (supports_p (type ()));
gcc_checking_assert (m_num_ranges <= m_max_ranges);
// Legacy allowed these to represent VARYING for unknown types.