check undefine_p for one more vr
commit4d80863d7f93c0a839d1fe5dc59be83153e89110
authorJiufu Guo <guojiufu@linux.ibm.com>
Wed, 20 Sep 2023 03:11:58 +0000 (20 11:11 +0800)
committerguojiufu <guojiufu@linux.ibm.com>
Thu, 21 Sep 2023 05:18:22 +0000 (21 13:18 +0800)
tree0de97edbf7789038540438060373cadbe0fee2e8
parentd946fc1c71bdc21e3bb23721cc4d770e48bed2e2
check undefine_p for one more vr

The root cause of PR111355 and PR111482 is missing to check if vr0
is undefined_p before call vr0.lower_bound.

In the pattern "(X + C) / N",

    (if (INTEGRAL_TYPE_P (type)
 && get_range_query (cfun)->range_of_expr (vr0, @0))
     (if (...)
       (plus (op @0 @2) { wide_int_to_tree (type, plus_op1 (c)); })
       (if (TYPE_UNSIGNED (type) && c.sign_mask () < 0 ...
    && wi::geu_p (vr0.lower_bound (), -c))

In "(if (...)", there is code to prevent vr0's undefined_p,
But in the "else" part, vr0's undefined_p is not checked before
"wi::geu_p (vr0.lower_bound (), -c)".

PR tree-optimization/111355

gcc/ChangeLog:

* match.pd ((X + C) / N): Update pattern.

gcc/testsuite/ChangeLog:

* gcc.dg/pr111355.c: New test.
gcc/match.pd
gcc/testsuite/gcc.dg/pr111355.c [new file with mode: 0644]