[Bug tree-optimization/65388] Wrong comparison in same_succ_def::equal() tree-ssa-tail-merge.c:590

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Do we warn in this case (something like condition is always false)?
clang has -Wtautological-compare warning that warns say for
int b;
if (b != b)
but doesn't already for
int a[10], i;
if (a[i] != a[i]).
gcc has -Wtype-limits, which partially overlaps the -Wtautological-compare, so
if we introduce it, we should probably just add there the cases not already
covered by -Wtype-limits.