[Bug fortran/55814] Missed optimization with short-circuit evaluation of always evaluated comparisons/loads

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

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

--- Comment #6 from anlauf at gcc dot gnu.org ---
Would it help the middle-end rewriting

  bar = a .and. b .and. any(c)

into something like (symbolically):

  bar = (a .and. b) ? any(c) : .false.