Bail in bounds_of_var_in_loop if scev returns NULL.
authorAldy Hernandez <aldyh@redhat.com>
Thu, 13 May 2021 20:09:58 +0000 (16:09 -0400)
committerAldy Hernandez <aldyh@redhat.com>
Mon, 17 May 2021 16:18:37 +0000 (18:18 +0200)
commitce81282261c6c77883b17d0ebfbbe337bed76457
treed53f50b5dd7ed93644b1598dec40f43bf8ddb3ac
parente91a17fe39c39e98cebe6e1cbc8064ee6846a3a7
Bail in bounds_of_var_in_loop if scev returns NULL.

Both initial_condition_in_loop_num and evolution_part_in_loop_num
can return NULL.  This patch exits if either one is NULL.  Presumably
this didn't happen before, because adjust_range_with_scev was called
far less frequently than in ranger, which can call it for every PHI.

gcc/ChangeLog:

PR tree-optimization/100349
* vr-values.c (bounds_of_var_in_loop): Bail if scev returns
  NULL.

gcc/testsuite/ChangeLog:

* gcc.dg/pr100349.c: New test.
gcc/testsuite/gcc.dg/pr100349.c [new file with mode: 0644]
gcc/vr-values.c