https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64353
--- Comment #7 from Ilya Enkovich <enkovich.gnu at gmail dot com> --- Right, wrong const attribute causes no VUSE for calls to the function which leads to # VUSE <.MEM> generated for added loads and requires SSA update. We may actually call update_ssa only in case of missing VUSE still allowing optimization for functions wrongly marked as const.
