[Bug tree-optimization/104288] [11/12 Regression] EVRP null pointer check removal for strcmp (and maybe others) is not flow senative

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
strcmp has a nonnull attribute which means all pointer parameters are not NULL
which probably makes ranger conclude that on all paths they cannot be NULL,
bogously eliding the asserts (note s/exit/__builtin_unreachable()/ would make
this conclusion OK I think).

IMHO this is a security issue, making P1 even though we already released 11.1
and 11.2 with this bug.