[Bug middle-end/105083] New: scev_initialize should check for loop prerequesites

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105083

            Bug ID: 105083
           Summary: scev_initialize should check for loop prerequesites
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rguenth at gcc dot gnu.org
  Target Milestone: ---

The SCEV code has prerequesites like looking at preheader edges or requiring
recorded exists but it does not verify presence of those in scev_initialize ().

It could also provide safe operation without those.