On 11/21/20 12:07 AM, Jeff Law wrote:
On 11/9/20 9:00 AM, Martin Sebor wrote:
Ping:
https://gcc.gnu.org/pipermail/gcc-patches/2020-September/554000.html
Jeff, I don't expect to have the cycles to reimplement this patch
using the Ranger APIs before stage 1 closes. I'm open to giving
it a try in stage 3 if it's still in scope for GCC 11. Otherwise,
is this patch okay to commit?
So all we're going to get from the ranger is ranges of operands, right?
Meaning that we still need to either roll our own evaluator
(eval_size_vflow) or overload range_for_stmt with our own, which likely
looks like eval_size_vflow anyway, right?
My hope was to avoid the roll our own evaluator, but that doesn't look
like it's in the cards in the reasonably near future.
Is there a PR open showing what exactly you are looking for?
I'm using open PRs to track enhancement requests, and they will all feed
back into the development roadmap I am working on.
If my summary of the current state is correct, then I'd suggest we go
with the patch as-is. If we want to override eval_size_vflow in the
future, we can still do that. And if we want to replace the call to
determine_value_range with a ranger API, that seems like a fairly
straightforward change to make in gcc-12.
Jeff
