https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79671
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- So, I've patched the r235622 cross-compiler to: --- tree-ssa-alias.c.xx 2017-02-21 19:17:36.000000000 +0100 +++ tree-ssa-alias.c 2017-02-22 11:37:12.714172891 +0100 @@ -359,26 +359,31 @@ ptrs_compare_unequal (tree ptr1, tree pt } if (obj1 && obj2) - /* Other code handles this correctly, no need to duplicate it here. */; + /* Other code handles this correctly, no need to duplicate it here. */ + return false; else if (obj1 && TREE_CODE (ptr2) == SSA_NAME) { struct ptr_info_def *pi = SSA_NAME_PTR_INFO (ptr2); if (!pi) return false; - return !pt_solution_includes (&pi->pt, obj1); + if (!pt_solution_includes (&pi->pt, obj1)) + return false; } else if (TREE_CODE (ptr1) == SSA_NAME && obj2) { struct ptr_info_def *pi = SSA_NAME_PTR_INFO (ptr1); if (!pi) return false; - return !pt_solution_includes (&pi->pt, obj2); + if (!pt_solution_includes (&pi->pt, obj2)) + return false; } + else + return false; - /* ??? We'd like to handle ptr1 != NULL and ptr1 != ptr2 - but those require pt.null to be conservatively correct. */ - - return false; +gcc_assert (TREE_CODE (ptr2) == SSA_NAME); +int x = atoi (getenv ("PTRS_COMPARE_UNEQUAL")); +debug_generic_stmt (ptr2); +return SSA_NAME_VERSION (ptr2) == x; } /* Returns whether reference REF to BASE may refer to global memory. */ and for the SSA_NAMEs printed with PTRS_COMPARE_UNEQUAL=10000 tested assembly for PTRS_COMPARE_UNEQUAL set to all those versions. This gave me (10000 is randomly chosen SSA_NAME that doesn't appear in the list, so effectively all ptrs_compare_unequal return false): ===rh1422456.10000=== ===rh1422456.122=== *** Error in `/tmp/rh1422456.122': free(): invalid size: 0xbede60b8 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6bf47e0] /lib/libc.so.6(+0x757f4)[0xb6bfe7f4] /lib/libc.so.6(cfree+0x5c)[0xb6c02778] /tmp/rh1422456.122[0x11bb4] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 53702 /tmp/rh1422456.122 00023000-00024000 rw-p 00003000 00:24 53702 /tmp/rh1422456.122 01c1c000-01c41000 rw-p 00000000 00:00 0 [heap] b6b87000-b6b89000 rw-p 00000000 00:00 0 b6b89000-b6cd4000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6cd4000-b6ce3000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6ce3000-b6ce5000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6ce5000-b6ce6000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6ce6000-b6ce9000 rw-p 00000000 00:00 0 b6ce9000-b6d05000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d05000-b6d14000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d14000-b6d15000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d15000-b6d16000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d16000-b6d87000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6d87000-b6d96000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6d96000-b6d97000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6d97000-b6d98000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6d98000-b6ed1000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ed1000-b6ee1000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ee1000-b6ee6000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ee6000-b6ee8000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ee8000-b6eea000 rw-p 00000000 00:00 0 b6eea000-b6f0d000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6f19000-b6f1c000 rw-p 00000000 00:00 0 b6f1c000-b6f1d000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6f1d000-b6f1e000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so bed00000-bede7000 rw-p 00000000 00:00 0 [stack] bee71000-bee72000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.129=== *** Error in `/tmp/rh1422456.129': free(): invalid size: 0xbe8100d0 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6c7e7e0] /lib/libc.so.6(+0x757f4)[0xb6c887f4] /lib/libc.so.6(cfree+0x5c)[0xb6c8c778] /tmp/rh1422456.129[0x11c08] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 42913 /tmp/rh1422456.129 00023000-00024000 rw-p 00003000 00:24 42913 /tmp/rh1422456.129 0084e000-00873000 rw-p 00000000 00:00 0 [heap] b6c11000-b6c13000 rw-p 00000000 00:00 0 b6c13000-b6d5e000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6d5e000-b6d6d000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6d6d000-b6d6f000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6d6f000-b6d70000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6d70000-b6d73000 rw-p 00000000 00:00 0 b6d73000-b6d8f000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d8f000-b6d9e000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d9e000-b6d9f000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d9f000-b6da0000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6da0000-b6e11000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6e11000-b6e20000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6e20000-b6e21000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6e21000-b6e22000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6e22000-b6f5b000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f5b000-b6f6b000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f6b000-b6f70000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f70000-b6f72000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f72000-b6f74000 rw-p 00000000 00:00 0 b6f74000-b6f97000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6fa3000-b6fa6000 rw-p 00000000 00:00 0 b6fa6000-b6fa7000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6fa7000-b6fa8000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so be7f0000-be811000 rw-p 00000000 00:00 0 [stack] bea88000-bea89000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.12=== ===rh1422456.136=== *** Error in `/tmp/rh1422456.136': free(): invalid size: 0xbec940e8 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6c227e0] /lib/libc.so.6(+0x757f4)[0xb6c2c7f4] /lib/libc.so.6(cfree+0x5c)[0xb6c30778] /tmp/rh1422456.136[0x11c5c] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 53731 /tmp/rh1422456.136 00023000-00024000 rw-p 00003000 00:24 53731 /tmp/rh1422456.136 01971000-01996000 rw-p 00000000 00:00 0 [heap] b6bb5000-b6bb7000 rw-p 00000000 00:00 0 b6bb7000-b6d02000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6d02000-b6d11000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6d11000-b6d13000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6d13000-b6d14000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6d14000-b6d17000 rw-p 00000000 00:00 0 b6d17000-b6d33000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d33000-b6d42000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d42000-b6d43000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d43000-b6d44000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d44000-b6db5000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6db5000-b6dc4000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6dc4000-b6dc5000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6dc5000-b6dc6000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6dc6000-b6eff000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6eff000-b6f0f000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f0f000-b6f14000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f14000-b6f16000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f16000-b6f18000 rw-p 00000000 00:00 0 b6f18000-b6f3b000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6f47000-b6f4a000 rw-p 00000000 00:00 0 b6f4a000-b6f4b000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6f4b000-b6f4c000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so bec00000-bec95000 rw-p 00000000 00:00 0 [stack] befc2000-befc3000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.138=== ===rh1422456.13=== ===rh1422456.140=== ===rh1422456.142=== ===rh1422456.144=== ===rh1422456.14=== ===rh1422456.15=== ===rh1422456.22=== *** Error in `/tmp/rh1422456.22': munmap_chunk(): invalid pointer: 0xbeff70e8 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6c4d7e0] /lib/libc.so.6(cfree+0x288)[0xb6c5b9a4] /tmp/rh1422456.22[0x11b64] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 53758 /tmp/rh1422456.22 00023000-00024000 rw-p 00003000 00:24 53758 /tmp/rh1422456.22 00d78000-00d9d000 rw-p 00000000 00:00 0 [heap] b6be0000-b6be2000 rw-p 00000000 00:00 0 b6be2000-b6d2d000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6d2d000-b6d3c000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6d3c000-b6d3e000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6d3e000-b6d3f000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6d3f000-b6d42000 rw-p 00000000 00:00 0 b6d42000-b6d5e000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d5e000-b6d6d000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d6d000-b6d6e000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d6e000-b6d6f000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d6f000-b6de0000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6de0000-b6def000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6def000-b6df0000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6df0000-b6df1000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6df1000-b6f2a000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f2a000-b6f3a000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f3a000-b6f3f000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f3f000-b6f41000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f41000-b6f43000 rw-p 00000000 00:00 0 b6f43000-b6f66000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6f72000-b6f75000 rw-p 00000000 00:00 0 b6f75000-b6f76000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6f76000-b6f77000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so befd7000-beff8000 rw-p 00000000 00:00 0 [stack] beffa000-beffb000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.38=== *** Error in `/tmp/rh1422456.38': munmap_chunk(): invalid pointer: 0xbec230e8 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6be17e0] /lib/libc.so.6(cfree+0x288)[0xb6bef9a4] /tmp/rh1422456.38[0x11b64] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 56388 /tmp/rh1422456.38 00023000-00024000 rw-p 00003000 00:24 56388 /tmp/rh1422456.38 0148c000-014b1000 rw-p 00000000 00:00 0 [heap] b6b74000-b6b76000 rw-p 00000000 00:00 0 b6b76000-b6cc1000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6cc1000-b6cd0000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6cd0000-b6cd2000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6cd2000-b6cd3000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6cd3000-b6cd6000 rw-p 00000000 00:00 0 b6cd6000-b6cf2000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6cf2000-b6d01000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d01000-b6d02000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d02000-b6d03000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d03000-b6d74000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6d74000-b6d83000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6d83000-b6d84000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6d84000-b6d85000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6d85000-b6ebe000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ebe000-b6ece000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ece000-b6ed3000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ed3000-b6ed5000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6ed5000-b6ed7000 rw-p 00000000 00:00 0 b6ed7000-b6efa000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6f06000-b6f09000 rw-p 00000000 00:00 0 b6f09000-b6f0a000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6f0a000-b6f0b000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so bec03000-bec24000 rw-p 00000000 00:00 0 [stack] beee5000-beee6000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.45=== ===rh1422456.47=== ===rh1422456.49=== ===rh1422456.51=== ===rh1422456.71=== *** Error in `/tmp/rh1422456.71': free(): invalid size: 0xbebad0b8 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6c457e0] /lib/libc.so.6(+0x757f4)[0xb6c4f7f4] /lib/libc.so.6(cfree+0x5c)[0xb6c53778] /tmp/rh1422456.71[0x11bb4] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 56482 /tmp/rh1422456.71 00023000-00024000 rw-p 00003000 00:24 56482 /tmp/rh1422456.71 014a2000-014c7000 rw-p 00000000 00:00 0 [heap] b6bd8000-b6bda000 rw-p 00000000 00:00 0 b6bda000-b6d25000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6d25000-b6d34000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6d34000-b6d36000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6d36000-b6d37000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6d37000-b6d3a000 rw-p 00000000 00:00 0 b6d3a000-b6d56000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d56000-b6d65000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d65000-b6d66000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d66000-b6d67000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d67000-b6dd8000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6dd8000-b6de7000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6de7000-b6de8000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6de8000-b6de9000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6de9000-b6f22000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f22000-b6f32000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f32000-b6f37000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f37000-b6f39000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f39000-b6f3b000 rw-p 00000000 00:00 0 b6f3b000-b6f5e000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6f6a000-b6f6d000 rw-p 00000000 00:00 0 b6f6d000-b6f6e000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6f6e000-b6f6f000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so beb00000-bebae000 rw-p 00000000 00:00 0 [stack] bef27000-bef28000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.77=== *** Error in `/tmp/rh1422456.77': free(): invalid size: 0xbe93c0d0 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6c7c7e0] /lib/libc.so.6(+0x757f4)[0xb6c867f4] /lib/libc.so.6(cfree+0x5c)[0xb6c8a778] /tmp/rh1422456.77[0x11c08] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 50128 /tmp/rh1422456.77 00023000-00024000 rw-p 00003000 00:24 50128 /tmp/rh1422456.77 01830000-01855000 rw-p 00000000 00:00 0 [heap] b6c0f000-b6c11000 rw-p 00000000 00:00 0 b6c11000-b6d5c000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6d5c000-b6d6b000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6d6b000-b6d6d000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6d6d000-b6d6e000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6d6e000-b6d71000 rw-p 00000000 00:00 0 b6d71000-b6d8d000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d8d000-b6d9c000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d9c000-b6d9d000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d9d000-b6d9e000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d9e000-b6e0f000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6e0f000-b6e1e000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6e1e000-b6e1f000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6e1f000-b6e20000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6e20000-b6f59000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f59000-b6f69000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f69000-b6f6e000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f6e000-b6f70000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f70000-b6f72000 rw-p 00000000 00:00 0 b6f72000-b6f95000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6fa1000-b6fa4000 rw-p 00000000 00:00 0 b6fa4000-b6fa5000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6fa5000-b6fa6000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so be900000-be93d000 rw-p 00000000 00:00 0 [stack] bed70000-bed71000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.83=== *** Error in `/tmp/rh1422456.83': free(): invalid size: 0xbec950e8 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6b7e0)[0xb6c3f7e0] /lib/libc.so.6(+0x757f4)[0xb6c497f4] /lib/libc.so.6(cfree+0x5c)[0xb6c4d778] /tmp/rh1422456.83[0x11c5c] ======= Memory map: ======== 00010000-00014000 r-xp 00000000 00:24 50146 /tmp/rh1422456.83 00023000-00024000 rw-p 00003000 00:24 50146 /tmp/rh1422456.83 01457000-0147c000 rw-p 00000000 00:00 0 [heap] b6bd2000-b6bd4000 rw-p 00000000 00:00 0 b6bd4000-b6d1f000 r-xp 00000000 fd:00 2888289 /usr/lib/libc-2.24.so b6d1f000-b6d2e000 ---p 0014b000 fd:00 2888289 /usr/lib/libc-2.24.so b6d2e000-b6d30000 r--p 0014a000 fd:00 2888289 /usr/lib/libc-2.24.so b6d30000-b6d31000 rw-p 0014c000 fd:00 2888289 /usr/lib/libc-2.24.so b6d31000-b6d34000 rw-p 00000000 00:00 0 b6d34000-b6d50000 r-xp 00000000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d50000-b6d5f000 ---p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d5f000-b6d60000 r--p 0001b000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d60000-b6d61000 rw-p 0001c000 fd:00 2906708 /usr/lib/libgcc_s-7-20170219.so.1 b6d61000-b6dd2000 r-xp 00000000 fd:00 2888295 /usr/lib/libm-2.24.so b6dd2000-b6de1000 ---p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6de1000-b6de2000 r--p 00070000 fd:00 2888295 /usr/lib/libm-2.24.so b6de2000-b6de3000 rw-p 00071000 fd:00 2888295 /usr/lib/libm-2.24.so b6de3000-b6f1c000 r-xp 00000000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f1c000-b6f2c000 ---p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f2c000-b6f31000 r--p 00139000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f31000-b6f33000 rw-p 0013e000 fd:00 2888698 /usr/lib/libstdc++.so.6.0.23 b6f33000-b6f35000 rw-p 00000000 00:00 0 b6f35000-b6f58000 r-xp 00000000 fd:00 2888281 /usr/lib/ld-2.24.so b6f64000-b6f67000 rw-p 00000000 00:00 0 b6f67000-b6f68000 r--p 00022000 fd:00 2888281 /usr/lib/ld-2.24.so b6f68000-b6f69000 rw-p 00023000 fd:00 2888281 /usr/lib/ld-2.24.so bec00000-bec96000 rw-p 00000000 00:00 0 [stack] bee5f000-bee60000 r-xp 00000000 00:00 0 [sigpage] ffff0000-ffff1000 r-xp 00000000 00:00 0 [vectors] Aborted (core dumped) ===rh1422456.84=== ===rh1422456.85=== ===rh1422456.86=== ===rh1422456.87=== This means that for 8 different SSA_NAMEs it is enough to return true a single time.