[Bug tree-optimization/92131] incorrect assumption that (ao >= 0) is always false

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Or, more likely the intersection into [-INF, -8] is incorrect.