The previous changes to irange::constant_p return TRUE for
VARYING, since VARYING has numerical end points like any other
constant range. The problem is that some users of constant_p
depended on constant_p excluding the full domain. The
range handler for __builtin_clz, that is shared between ranger
and vr_values, is one such user.
This patch excludes varying_p(), to match the original behavior
for clz.
gcc/ChangeLog:
PR c/100521
* gimple-range.cc (range_of_builtin_call): Skip out on
processing __builtin_clz when varying.
query.range_of_expr (r, arg, call);
// From clz of minimum we can compute result maximum.
- if (r.constant_p ())
+ if (r.constant_p () && !r.varying_p ())
{
int newmaxi = prec - 1 - wi::floor_log2 (r.lower_bound ());
// Argument is unsigned, so do nothing if it is [0, ...] range.
--- /dev/null
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+int
+__builtin_clz (int a)
+{
+ return __builtin_clz(a);
+}