[gcc(refs/users/marxin/heads/PR97404-ipa-cp-vrp-fix)] IPA: compare VRP types.

[Martin Liska]

https://gcc.gnu.org/g:14500367b48ff6c52e627334937c722726b597b3

commit 14500367b48ff6c52e627334937c722726b597b3
Author: Martin Liska <mliska@suse.cz>
Date:   Thu Oct 15 14:57:31 2020 +0200

    IPA: compare VRP types.
    
    gcc/ChangeLog:
    
            PR ipa/97404
            * ipa-prop.c (struct ipa_vr_ggc_hash_traits):
            Compare types of VRP min and max as we can merge ranges of
            different types.
    
    gcc/testsuite/ChangeLog:
    
            PR ipa/97404
            * gcc.c-torture/execute/pr97404.c: New test.

Diff:
---
 gcc/ipa-prop.c                                |  6 +++++-
 gcc/testsuite/gcc.c-torture/execute/pr97404.c | 28 +++++++++++++++++++++++++++
 2 files changed, 33 insertions(+), 1 deletion(-)

diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c
index 63c652f4ffc..3d0ebefa4aa 100644
--- a/gcc/ipa-prop.c
+++ b/gcc/ipa-prop.c
@@ -123,7 +123,11 @@ struct ipa_vr_ggc_hash_traits : public ggc_cache_remove <value_range *>
   static bool
   equal (const value_range *a, const value_range *b)
     {
-      return a->equal_p (*b);
+      return (a->equal_p (*b)
+	      && types_compatible_p (TREE_TYPE (a->min ()),
+				     TREE_TYPE (b->min ()))
+	      && types_compatible_p (TREE_TYPE (a->max ()),
+				     TREE_TYPE (b->max ())));
     }
   static const bool empty_zero_p = true;
   static void
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr97404.c b/gcc/testsuite/gcc.c-torture/execute/pr97404.c
new file mode 100644
index 00000000000..7e5ce231725
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr97404.c
@@ -0,0 +1,28 @@
+/* PR ipa/97404 */
+/* { dg-additional-options "-fno-inline" } */
+
+char a, b;
+long c;
+short d, e;
+long *f = &c;
+int g;
+char h(signed char i) { return 0; }
+static short j(short i, int k) { return i < 0 ? 0 : i >> k; }
+void l(void);
+void m(void)
+{
+  e = j(d | 9766, 11);
+    *f = e;
+}
+void l(void)
+{
+  a = 5 | g;
+    b = h(a);
+}
+int main()
+{
+  m();
+  if (c != 4)
+    __builtin_abort();
+  return 0;
+}