https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105663
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amacleod at redhat dot com
--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> ---
I also seee the trap in operator_bitwise_not::op1_range if i disable:
-fno-tree-fre -fno-tree-forwprop
Otherwise I get verify_gimple failures from those passes.
I presume its invalid, but it boils down in rangers case to the bitwise_not
operation assuming there is a MINUS_EXPR for the type that it is performing the
NOT on. In the case of pointers, there is no MINUX_EXPR..
I'll adjust range-ops so that whenever it invokes another handler, it first
verifies there is such an operation, and if not, it'll give up and the result
will be VARYING
