Fix ipa-modref ICE

[Jan Hubicka]

Hi,
this patch fixes omitted case in contains_p which later trigger a sanity
check since merging is not symmetric.

Bootstrapped/regtested x86_64-linux, comitted.

Honza

gcc/ChangeLog:

2021-10-07  Jan Hubicka  <hubi...@ucw.cz>

        PR ipa/102581
        * ipa-modref-tree.h (modref_access_node::contains_p): Handle offsets
        better.
        (modref_access_node::try_merge_with): Add sanity check that there
        are no redundant entries in the list.

gcc/testsuite/ChangeLog:

2021-10-07  Jan Hubicka  <hubi...@ucw.cz>

        * g++.dg/torture/pr102581.C: New test.

diff --git a/gcc/ipa-modref-tree.h b/gcc/ipa-modref-tree.h
index 6a9ed5ce54b..8e9b89b3e2c 100644
--- a/gcc/ipa-modref-tree.h
+++ b/gcc/ipa-modref-tree.h
@@ -110,8 +110,11 @@ struct GTY(()) modref_access_node
               if (!a.parm_offset_known)
                 return false;
               /* Accesses are never below parm_offset, so look
-                 for smaller offset.  */
-              if (!known_le (parm_offset, a.parm_offset))
+                 for smaller offset.
+                 If access ranges are known still allow merging
+                 when bit offsets comparsion passes.  */
+              if (!known_le (parm_offset, a.parm_offset)
+                  && !range_info_useful_p ())
                 return false;
               aoffset_adj = (a.parm_offset - parm_offset)
                             << LOG2_BITS_PER_UNIT;
@@ -618,6 +621,7 @@ private:
            found = true;
          if (!found && n->merge (*a, false))
            found = restart = true;
+         gcc_checking_assert (found || !a->merge (*n, false));
          if (found)
            {
              accesses->unordered_remove (i);
diff --git a/gcc/testsuite/g++.dg/torture/pr102581.C 
b/gcc/testsuite/g++.dg/torture/pr102581.C
new file mode 100644
index 00000000000..7f172d088b8
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/pr102581.C
@@ -0,0 +1,51 @@
+// { dg-do compile }
+/* { dg-additional-options "-fno-strict-aliasing" } */
+enum VkStructureType {
+  VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_BUFFER_DEVICE_ADDRESS_FEATURES_EXT,
+  VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_FEATURES_2_KHR
+} typedef VkPhysicalDeviceSparseProperties;
+struct VkPhysicalDeviceProperties {
+  int apiVersion;
+  VkPhysicalDeviceSparseProperties sparseProperties;
+};
+typedef struct {
+  VkStructureType sType;
+  int *pPhysicalDevices;
+} VkPhysicalDeviceFeatures2;
+typedef struct VkPhysicalDeviceProperties2 {
+  VkStructureType sType;
+  void *pNext;
+} VkPhysicalDeviceMemoryProperties2;
+struct VulkanVersion {
+  int major;
+  int minor;
+  int patch;
+};
+int make_vulkan_version_version;
+VulkanVersion make_vulkan_version() {
+  return {make_vulkan_version_version, make_vulkan_version_version,
+          make_vulkan_version_version};
+}
+struct AppGpu {
+  int &inst;
+  int id;
+  int *phys_device = nullptr;
+  VulkanVersion api_version{};
+  VkPhysicalDeviceProperties props{};
+  VkPhysicalDeviceProperties2 props2{};
+  int memory_props{};
+  VkPhysicalDeviceMemoryProperties2 memory_props2{};
+  int features{};
+  VkPhysicalDeviceFeatures2 features2{};
+  int *dev = nullptr;
+  int enabled_features{};
+  int AppGpu_phys_device;
+  int AppGpu_inst;
+  AppGpu() : inst(AppGpu_inst), id() {
+    api_version = make_vulkan_version();
+    props2.sType = memory_props2.sType = features2.sType =
+        VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_FEATURES_2_KHR;
+  }
+};
+int
+main() { AppGpu(); return 0; }