https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111303
--- Comment #4 from Jiu Fu Guo ---
For the pattern: "(X + C) / N", "op (plus@3 @0 INTEGER_CST@1) INTEGER_CST@2)"
where "X" has value-range, and "X + C" does not overflow:
&& get_range_query (cfun)->range_of_expr (vr0, @0))
&& get_range_query
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111303
--- Comment #3 from Jiu Fu Guo ---
In the pattern of match.pd, there is:
&& range_op_handler (PLUS_EXPR).overflow_free_p (vr0, vr1)
&& get_range_query (cfun)->range_of_expr (vr3, @3)
/* "X+C" and "X" are not of
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111303
Jiu Fu Guo changed:
What|Removed |Added
Last reconfirmed||2023-09-06
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111303
Jiu Fu Guo changed:
What|Removed |Added
Assignee|unassigned at gcc dot gnu.org |guojiufu at gcc dot
gnu.org
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111303
Shaohua Li changed:
What|Removed |Added
CC||guojiufu at gcc dot gnu.org
--- Comment