re PR tree-optimization/92131 (incorrect assumption that (ao >= 0) is always false)