[Bug analyzer/94362] False analyzer report due to i >= 0 and i < 0 on openssl

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

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

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
The root cause is that the analyzer's path feasibility checker erroneously
considers this to be feasible:
  (R + 1 > 0) && (R < 0)
for int R (the return value from sk_EVP_PKEY_ASN1_METHOD_num), whereas it's not
satisfiable for any int R.

I'm working on a fix.