[Bug 355496] "-fno-tree-vrp" optimization broken?