https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103121
--- Comment #25 from Andrew Macleod <amacleod at redhat dot com> ---
OK, lets reset.
I run it now, and ranger is indeed being used, so somewhere along the way the
conversion was finished I guess.
so.
looking at the trace, I see:
446 range_of_expr(_2) at stmt grp_name_25 = __builtin_alloca (_2);
447 range_of_stmt (_2) at stmt _2 = _1 + 1;
448 ROS dependence fill
ROS dep fill (_2) at stmt _2 = _1 + 1;
FALSE : (448) ROS (_2)
449 range_of_expr(_1) at stmt _2 = _1 + 1;
450 range_of_stmt (_1) at stmt _1 = _20->len;
TRUE : (450) range_of_stmt (_1) unsigned int VARYING
TRUE : (449) range_of_expr (_1) unsigned int VARYING
Registering value_relation (_2 != _1) (bb2) at _2 = _1 + 1;
TRUE : (447) range_of_stmt (_2) unsigned int VARYING
TRUE : (446) range_of_expr (_2) unsigned int VARYING
So the call to __builtin_alloca is returning VARYING, as one would expect.
The original comment#12 from martin was asking that he was seeing [1,1] instead
of VARYING for _4 (which is now _2 in this listing I presume)
That query should be returning VARYING now, as expected.
I also don't get the warning anymore on trunk.
Is there still an issue here?
