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

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

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

--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Andrew Macleod
<amacl...@gcc.gnu.org>:

https://gcc.gnu.org/g:ed35d4205e8c139d27d3d47c528aaa9f82f0ac1b

commit r11-9543-ged35d4205e8c139d27d3d47c528aaa9f82f0ac1b
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Mon Jan 31 11:37:16 2022 -0500

    Range on entry should only check dominators for non-null.

    Range-on-entry checks should no check the state of non-null within the
current
    block.   If dominators are present, use the dominator.

            PR tree-optimization/104288
            gcc/
            * gimple-range-cache.cc (ssa_range_in_bb): Only use non-null from
the
            dominator entry ranges.
            * gimple-range.cc (gimple_ranger::range_of_expr): Ditto.
            gcc/testsuite/
            * gcc.dg/pr104288.c: New.