https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127169
Bug ID: 127169
Summary: fold_using_range::range_of_call should be not calling
gimple_stmt_nonnegative_p
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Keywords: compile-time-hog
Severity: enhancement
Priority: P3
Component: tree-optimization
Assignee: pinskia at gcc dot gnu.org
Reporter: pinskia at gcc dot gnu.org
Depends on: 126827
Target Milestone: ---
All of the functionality of gimple_stmt_nonnegative_p should be moved to
ranger. To remove the back and forth and Also fixing up conditional
non-negativeness in some cases. The moving of that functionality is recorded as
PR 126827. This records removing the call to gimple_stmt_nonnegative_p.
Seperated out from PR 126814 as the regression angle of that has been fixed.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126827
[Bug 126827] Missing vrp due to builtin calls are not all handled (only handled
in nonnegative)
