[Bug middle-end/103262] New: [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c after r12-5242

[Bug middle-end/103262] New: [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c after r12-5242

[hjl.tools at gmail dot com]

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

            Bug ID: 103262
           Summary: [12 Regression] Random FAIL:
                    gcc.c-torture/execute/20061220-1.c after r12-5242
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
  Target Milestone: ---

On Linux/x86-64, I got random

spawn -ignore SIGHUP
/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/xgcc
-B/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/
/export/gnu/import/git/gitlab/x86-gcc/gcc/testsuite/gcc.c-torture/execute/20061220-1.c
-fdiagnostics-plain-output -O1 -w -lm -o ./20061220-1.exe
during GIMPLE pass: modref
/export/gnu/import/git/gitlab/x86-gcc/gcc/testsuite/gcc.c-torture/execute/20061220-1.c:
In function 'main':
/export/gnu/import/git/gitlab/x86-gcc/gcc/testsuite/gcc.c-torture/execute/20061220-1.c:73:1:
internal compiler error: in operator[], at vec.h:889
0x8306118 vec<ipa_jump_func, va_gc, vl_embed>::operator[](unsigned int)
        /export/gnu/import/git/gitlab/x86-gcc/gcc/vec.h:889
0x8306dbe vec<modref_parm_map, va_heap, vl_embed>::operator[](unsigned int)
        /export/gnu/import/git/gitlab/x86-gcc/gcc/vec.h:1903
0x8306dbe vec<modref_parm_map, va_heap, vl_ptr>::operator[](unsigned int)
        /export/gnu/import/git/gitlab/x86-gcc/gcc/vec.h:1495
0x8306dbe merge_call_side_effects
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:1034
0x8866a54 analyze_call
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:1414
0x8866a54 analyze_stmt
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:1585
0x8868eb1 analyze_function
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:2935
0x886ac6d execute
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:3965
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
compiler exited with status 1
FAIL: gcc.c-torture/execute/20061220-1.c   -O1  (internal compiler error)
FAIL: gcc.c-torture/execute/20061220-1.c   -O1  (test for excess errors)

r12-5242 is OK and r12-5244 is not.  But it may be latent since it fails
at random.

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c after r12-5242

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-11-15
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
It may need -m32.

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c after r12-5242

[hjl.tools at gmail dot com]

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

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> ---
May also need -mtune=generic -march=pentium4 with bootstrap.  Valgrind reports:

==2421026== Memcheck, a memory error detector
==2421026== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==2421026== Using Valgrind-3.18.1 and LibVEX; rerun with -h for copyright info
==2421026== Command:
/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/cc1
-quiet -v -iprefix
/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/../lib/gcc/i686-linux/12.0.0/
-isystem
/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/include
-isystem
/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/include-fixed
/export/gnu/import/git/gitlab/x86-gcc/gcc/testsuite/gcc.c-torture/execute/20061220-1.c
-quiet -dumpbase 20061220-1.c -dumpbase-ext .c -mtune=generic -march=pentium4
-O1 -version -o 20061220-1.s
==2421026==
GNU C17 (GCC) version 12.0.0 20211115 (experimental) (i686-linux)
        compiled by GNU C version 12.0.0 20211115 (experimental), GMP version
6.2.0, MPFR version 4.1.0-p13, MPC version 1.2.1, isl version isl-0.16.1-GMP

GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory
"/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/../lib/gcc/i686-linux/12.0.0/include"
ignoring nonexistent directory
"/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/../lib/gcc/i686-linux/12.0.0/include-fixed"
ignoring nonexistent directory
"/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/../lib/gcc/i686-linux/12.0.0/../../../../i686-linux/include"
ignoring nonexistent directory
"/usr/gcc-12.0.0-32bit/lib/gcc/i686-linux/12.0.0/include"
ignoring nonexistent directory "/usr/gcc-12.0.0-32bit/include"
ignoring nonexistent directory
"/usr/gcc-12.0.0-32bit/lib/gcc/i686-linux/12.0.0/include-fixed"
ignoring nonexistent directory "/usr/gcc-12.0.0-32bit/i686-linux/include"
#include "..." search starts here:
#include <...> search starts here:

/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/include

/export/users/hjl/build/gnu/tools-build/gcc-32bit-gitlab/build-i686-linux/gcc/include-fixed
 /usr/local/include
 /usr/include
End of search list.
GNU C17 (GCC) version 12.0.0 20211115 (experimental) (i686-linux)
        compiled by GNU C version 12.0.0 20211115 (experimental), GMP version
6.2.0, MPFR version 4.1.0-p13, MPC version 1.2.1, isl version isl-0.16.1-GMP

GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: b2e0b138055bd7ca0343d4cea39ca3ee
==2421026== Conditional jump or move depends on uninitialised value(s)
==2421026==    at 0x88605D0: (anonymous
namespace)::merge_call_side_effects(modref_summary*, gimple*, modref_summary*,
bool, cgraph_node*, bool, bool) (ipa-modref.c:1037)
==2421026==    by 0x8866A54: analyze_call (ipa-modref.c:1414)
==2421026==    by 0x8866A54: (anonymous
namespace)::analyze_stmt(modref_summary*, modref_summary_lto*, gimple*, bool,
vec<gimple*, va_heap, vl_ptr>*, bool) (ipa-modref.c:1585)
==2421026==    by 0x8868EB1: (anonymous namespace)::analyze_function(function*,
bool) (ipa-modref.c:2935)
==2421026==    by 0x886AC6D: (anonymous
namespace)::pass_modref::execute(function*) (ipa-modref.c:3965)
==2421026==    by 0x89BAAA0: execute_one_pass(opt_pass*) (passes.c:2567)
==2421026==    by 0x89BB341: execute_pass_list_1(opt_pass*) (passes.c:2656)
==2421026==    by 0x89BB354: execute_pass_list_1(opt_pass*) (passes.c:2657)
==2421026==    by 0x89BB38C: execute_pass_list(function*, opt_pass*)
(passes.c:2667)
==2421026==    by 0x89BBC52: do_per_function_toporder(void (*)(function*,
void*), void*) [clone .part.0] (passes.c:1773)
==2421026==    by 0x89BBE74: do_per_function_toporder (passes.c:1740)
==2421026==    by 0x89BBE74: execute_ipa_pass_list(opt_pass*) (passes.c:3001)
==2421026==    by 0x86105E7: ipa_passes (cgraphunit.c:2154)
==2421026==    by 0x86105E7: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2289)
==2421026==    by 0x8612DF2: compile (cgraphunit.c:2269)
==2421026==    by 0x8612DF2: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2537)
==2421026==
==2421026== Conditional jump or move depends on uninitialised value(s)
==2421026==    at 0x88605D5: (anonymous
namespace)::merge_call_side_effects(modref_summary*, gimple*, modref_summary*,
bool, cgraph_node*, bool, bool) (ipa-modref.c:1037)
==2421026==    by 0x8866A54: analyze_call (ipa-modref.c:1414)
==2421026==    by 0x8866A54: (anonymous
namespace)::analyze_stmt(modref_summary*, modref_summary_lto*, gimple*, bool,
vec<gimple*, va_heap, vl_ptr>*, bool) (ipa-modref.c:1585)
==2421026==    by 0x8868EB1: (anonymous namespace)::analyze_function(function*,
bool) (ipa-modref.c:2935)
==2421026==    by 0x886AC6D: (anonymous
namespace)::pass_modref::execute(function*) (ipa-modref.c:3965)
==2421026==    by 0x89BAAA0: execute_one_pass(opt_pass*) (passes.c:2567)
==2421026==    by 0x89BB341: execute_pass_list_1(opt_pass*) (passes.c:2656)
==2421026==    by 0x89BB354: execute_pass_list_1(opt_pass*) (passes.c:2657)
==2421026==    by 0x89BB38C: execute_pass_list(function*, opt_pass*)
(passes.c:2667)
==2421026==    by 0x89BBC52: do_per_function_toporder(void (*)(function*,
void*), void*) [clone .part.0] (passes.c:1773)
==2421026==    by 0x89BBE74: do_per_function_toporder (passes.c:1740)
==2421026==    by 0x89BBE74: execute_ipa_pass_list(opt_pass*) (passes.c:3001)
==2421026==    by 0x86105E7: ipa_passes (cgraphunit.c:2154)
==2421026==    by 0x86105E7: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2289)
==2421026==    by 0x8612DF2: compile (cgraphunit.c:2269)
==2421026==    by 0x8612DF2: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2537)
==2421026==
==2421026== Conditional jump or move depends on uninitialised value(s)
==2421026==    at 0x88605DB: (anonymous
namespace)::merge_call_side_effects(modref_summary*, gimple*, modref_summary*,
bool, cgraph_node*, bool, bool) (ipa-modref.c:1038)
==2421026==    by 0x8866A54: analyze_call (ipa-modref.c:1414)
==2421026==    by 0x8866A54: (anonymous
namespace)::analyze_stmt(modref_summary*, modref_summary_lto*, gimple*, bool,
vec<gimple*, va_heap, vl_ptr>*, bool) (ipa-modref.c:1585)
==2421026==    by 0x8868EB1: (anonymous namespace)::analyze_function(function*,
bool) (ipa-modref.c:2935)
==2421026==    by 0x886AC6D: (anonymous
namespace)::pass_modref::execute(function*) (ipa-modref.c:3965)
==2421026==    by 0x89BAAA0: execute_one_pass(opt_pass*) (passes.c:2567)
==2421026==    by 0x89BB341: execute_pass_list_1(opt_pass*) (passes.c:2656)
==2421026==    by 0x89BB354: execute_pass_list_1(opt_pass*) (passes.c:2657)
==2421026==    by 0x89BB38C: execute_pass_list(function*, opt_pass*)
(passes.c:2667)
==2421026==    by 0x89BBC52: do_per_function_toporder(void (*)(function*,
void*), void*) [clone .part.0] (passes.c:1773)
==2421026==    by 0x89BBE74: do_per_function_toporder (passes.c:1740)
==2421026==    by 0x89BBE74: execute_ipa_pass_list(opt_pass*) (passes.c:3001)
==2421026==    by 0x86105E7: ipa_passes (cgraphunit.c:2154)
==2421026==    by 0x86105E7: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2289)
==2421026==    by 0x8612DF2: compile (cgraphunit.c:2269)
==2421026==    by 0x8612DF2: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2537)
==2421026==
==2421026== Conditional jump or move depends on uninitialised value(s)
==2421026==    at 0x88729A9: useful_for_kill_p (ipa-modref-tree.h:89)
==2421026==    by 0x88729A9:
modref_access_node::insert_kill(vec<modref_access_node, va_heap, vl_ptr>&,
modref_access_node&, bool) (ipa-modref-tree.c:749)
==2421026==    by 0x886062E: (anonymous
namespace)::merge_call_side_effects(modref_summary*, gimple*, modref_summary*,
bool, cgraph_node*, bool, bool) (ipa-modref.c:1043)
==2421026==    by 0x8866A54: analyze_call (ipa-modref.c:1414)
==2421026==    by 0x8866A54: (anonymous
namespace)::analyze_stmt(modref_summary*, modref_summary_lto*, gimple*, bool,
vec<gimple*, va_heap, vl_ptr>*, bool) (ipa-modref.c:1585)
==2421026==    by 0x8868EB1: (anonymous namespace)::analyze_function(function*,
bool) (ipa-modref.c:2935)
==2421026==    by 0x886AC6D: (anonymous
namespace)::pass_modref::execute(function*) (ipa-modref.c:3965)
==2421026==    by 0x89BAAA0: execute_one_pass(opt_pass*) (passes.c:2567)
==2421026==    by 0x89BB341: execute_pass_list_1(opt_pass*) (passes.c:2656)
==2421026==    by 0x89BB354: execute_pass_list_1(opt_pass*) (passes.c:2657)
==2421026==    by 0x89BB38C: execute_pass_list(function*, opt_pass*)
(passes.c:2667)
==2421026==    by 0x89BBC52: do_per_function_toporder(void (*)(function*,
void*), void*) [clone .part.0] (passes.c:1773)
==2421026==    by 0x89BBE74: do_per_function_toporder (passes.c:1740)
==2421026==    by 0x89BBE74: execute_ipa_pass_list(opt_pass*) (passes.c:3001)
==2421026==    by 0x86105E7: ipa_passes (cgraphunit.c:2154)
==2421026==    by 0x86105E7: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2289)
==2421026==
==2421026== Conditional jump or move depends on uninitialised value(s)
==2421026==    at 0x8860665: (anonymous
namespace)::merge_call_side_effects(modref_summary*, gimple*, modref_summary*,
bool, cgraph_node*, bool, bool) (ipa-modref.c:1029)
==2421026==    by 0x8866A54: analyze_call (ipa-modref.c:1414)
==2421026==    by 0x8866A54: (anonymous
namespace)::analyze_stmt(modref_summary*, modref_summary_lto*, gimple*, bool,
vec<gimple*, va_heap, vl_ptr>*, bool) (ipa-modref.c:1585)
==2421026==    by 0x8868EB1: (anonymous namespace)::analyze_function(function*,
bool) (ipa-modref.c:2935)
==2421026==    by 0x886AC6D: (anonymous
namespace)::pass_modref::execute(function*) (ipa-modref.c:3965)
==2421026==    by 0x89BAAA0: execute_one_pass(opt_pass*) (passes.c:2567)
==2421026==    by 0x89BB341: execute_pass_list_1(opt_pass*) (passes.c:2656)
==2421026==    by 0x89BB354: execute_pass_list_1(opt_pass*) (passes.c:2657)
==2421026==    by 0x89BB38C: execute_pass_list(function*, opt_pass*)
(passes.c:2667)
==2421026==    by 0x89BBC52: do_per_function_toporder(void (*)(function*,
void*), void*) [clone .part.0] (passes.c:1773)
==2421026==    by 0x89BBE74: do_per_function_toporder (passes.c:1740)
==2421026==    by 0x89BBE74: execute_ipa_pass_list(opt_pass*) (passes.c:3001)
==2421026==    by 0x86105E7: ipa_passes (cgraphunit.c:2154)
==2421026==    by 0x86105E7: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2289)
==2421026==    by 0x8612DF2: compile (cgraphunit.c:2269)
==2421026==    by 0x8612DF2: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2537)
==2421026==
==2421026== Conditional jump or move depends on uninitialised value(s)
==2421026==    at 0x8860677: (anonymous
namespace)::merge_call_side_effects(modref_summary*, gimple*, modref_summary*,
bool, cgraph_node*, bool, bool) (ipa-modref.c:1033)
==2421026==    by 0x8866A54: analyze_call (ipa-modref.c:1414)
==2421026==    by 0x8866A54: (anonymous
namespace)::analyze_stmt(modref_summary*, modref_summary_lto*, gimple*, bool,
vec<gimple*, va_heap, vl_ptr>*, bool) (ipa-modref.c:1585)
==2421026==    by 0x8868EB1: (anonymous namespace)::analyze_function(function*,
bool) (ipa-modref.c:2935)
==2421026==    by 0x886AC6D: (anonymous
namespace)::pass_modref::execute(function*) (ipa-modref.c:3965)
==2421026==    by 0x89BAAA0: execute_one_pass(opt_pass*) (passes.c:2567)
==2421026==    by 0x89BB341: execute_pass_list_1(opt_pass*) (passes.c:2656)
==2421026==    by 0x89BB354: execute_pass_list_1(opt_pass*) (passes.c:2657)
==2421026==    by 0x89BB38C: execute_pass_list(function*, opt_pass*)
(passes.c:2667)
==2421026==    by 0x89BBC52: do_per_function_toporder(void (*)(function*,
void*), void*) [clone .part.0] (passes.c:1773)
==2421026==    by 0x89BBE74: do_per_function_toporder (passes.c:1740)
==2421026==    by 0x89BBE74: execute_ipa_pass_list(opt_pass*) (passes.c:3001)
==2421026==    by 0x86105E7: ipa_passes (cgraphunit.c:2154)
==2421026==    by 0x86105E7: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2289)
==2421026==    by 0x8612DF2: compile (cgraphunit.c:2269)
==2421026==    by 0x8612DF2: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2537)
==2421026==
==2421026== Conditional jump or move depends on uninitialised value(s)
==2421026==    at 0x88605BB: operator[] (vec.h:889)
==2421026==    by 0x88605BB: operator[] (vec.h:1495)
==2421026==    by 0x88605BB: (anonymous
namespace)::merge_call_side_effects(modref_summary*, gimple*, modref_summary*,
bool, cgraph_node*, bool, bool) (ipa-modref.c:1034)
==2421026==    by 0x8866A54: analyze_call (ipa-modref.c:1414)
==2421026==    by 0x8866A54: (anonymous
namespace)::analyze_stmt(modref_summary*, modref_summary_lto*, gimple*, bool,
vec<gimple*, va_heap, vl_ptr>*, bool) (ipa-modref.c:1585)
==2421026==    by 0x8868EB1: (anonymous namespace)::analyze_function(function*,
bool) (ipa-modref.c:2935)
==2421026==    by 0x886AC6D: (anonymous
namespace)::pass_modref::execute(function*) (ipa-modref.c:3965)
==2421026==    by 0x89BAAA0: execute_one_pass(opt_pass*) (passes.c:2567)
==2421026==    by 0x89BB341: execute_pass_list_1(opt_pass*) (passes.c:2656)
==2421026==    by 0x89BB354: execute_pass_list_1(opt_pass*) (passes.c:2657)
==2421026==    by 0x89BB38C: execute_pass_list(function*, opt_pass*)
(passes.c:2667)
==2421026==    by 0x89BBC52: do_per_function_toporder(void (*)(function*,
void*), void*) [clone .part.0] (passes.c:1773)
==2421026==    by 0x89BBE74: do_per_function_toporder (passes.c:1740)
==2421026==    by 0x89BBE74: execute_ipa_pass_list(opt_pass*) (passes.c:3001)
==2421026==    by 0x86105E7: ipa_passes (cgraphunit.c:2154)
==2421026==    by 0x86105E7: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2289)
==2421026==    by 0x8612DF2: compile (cgraphunit.c:2269)
==2421026==    by 0x8612DF2: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2537)
==2421026==
during GIMPLE pass: modref
/export/gnu/import/git/gitlab/x86-gcc/gcc/testsuite/gcc.c-torture/execute/20061220-1.c:
In function ‘main’:
/export/gnu/import/git/gitlab/x86-gcc/gcc/testsuite/gcc.c-torture/execute/20061220-1.c:73:1:
internal compiler error: in operator[], at vec.h:889
   73 | }
      | ^
0x8306118 vec<ipa_jump_func, va_gc, vl_embed>::operator[](unsigned int)
        /export/gnu/import/git/gitlab/x86-gcc/gcc/vec.h:889
0x8306dbe vec<modref_parm_map, va_heap, vl_embed>::operator[](unsigned int)
        /export/gnu/import/git/gitlab/x86-gcc/gcc/vec.h:1903
0x8306dbe vec<modref_parm_map, va_heap, vl_ptr>::operator[](unsigned int)
        /export/gnu/import/git/gitlab/x86-gcc/gcc/vec.h:1495
0x8306dbe merge_call_side_effects
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:1034
0x8866a54 analyze_call
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:1414
0x8866a54 analyze_stmt
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:1585
0x8868eb1 analyze_function
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:2935
0x886ac6d execute
        /export/gnu/import/git/gitlab/x86-gcc/gcc/ipa-modref.c:3965
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
==2421026==
==2421026== HEAP SUMMARY:
==2421026==     in use at exit: 1,526,948 bytes in 2,422 blocks
==2421026==   total heap usage: 20,762 allocs, 18,340 frees, 3,428,979 bytes
allocated
==2421026==
==2421026== LEAK SUMMARY:
==2421026==    definitely lost: 0 bytes in 0 blocks
==2421026==    indirectly lost: 0 bytes in 0 blocks
==2421026==      possibly lost: 8,016 bytes in 1 blocks
==2421026==    still reachable: 1,518,932 bytes in 2,421 blocks
==2421026==                       of which reachable via heuristic:
==2421026==                         newarray           : 772 bytes in 1 blocks
==2421026==         suppressed: 0 bytes in 0 blocks
==2421026== Rerun with --leak-check=full to see details of leaked memory
==2421026==
==2421026== Use --track-origins=yes to see where uninitialised values come from
==2421026== For lists of detected and suppressed errors, rerun with: -s
==2421026== ERROR SUMMARY: 11 errors from 7 contexts (suppressed: 0 from 0)

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c after r12-5242

[hjl.tools at gmail dot com]

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

--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> ---
merge_call_side_effects has

  modref_parm_map chain_map;
...
     for (auto kill : saved_kills)
        {
          if (kill.parm_index >= (int)parm_map.length ())
            continue;
          modref_parm_map &m
                  = kill.parm_index == MODREF_STATIC_CHAIN_PARM
                    ? chain_map
                    : parm_map[kill.parm_index];
          if (m.parm_index == MODREF_LOCAL_MEMORY_PARM
              || m.parm_index == MODREF_UNKNOWN_PARM
              || m.parm_index == MODREF_RETSLOT_PARM
              || !m.parm_offset_known)
            continue;
          modref_access_node n = kill;
          n.parm_index = m.parm_index;
          n.parm_offset += m.parm_offset;
          if (modref_access_node::insert_kill (cur_summary->kills, n,
                                               record_adjustments))
            changed = true;
        }

But chain_map is never initialized.

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c by r12-5244

[seurer at gcc dot gnu.org]

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

seurer at gcc dot gnu.org changed:

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

--- Comment #4 from seurer at gcc dot gnu.org ---
I see this consistently fail on powerpc64 at r12-5244 but only on a power 10. 
This is LE so no -m32.

spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test2/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test2/gcc/
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.c-torture/execute/20061220-1.c
-fdiagnostics-plain-output -O1 -w -lm -o ./20061220-1.exe
during GIMPLE pass: modref
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.c-torture/execute/20061220-1.c:
In function 'main':
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.c-torture/execute/20061220-1.c:73:1:
internal compiler error: in operator[], at vec.h:889
0x102588fb vec<modref_parm_map, va_heap, vl_embed>::operator[](unsigned int)
        /home/seurer/gcc/git/gcc-test2/gcc/vec.h:889
0x102588fb vec<modref_parm_map, va_heap, vl_ptr>::operator[](unsigned int)
        /home/seurer/gcc/git/gcc-test2/gcc/vec.h:1495
0x108bacd3 vec<modref_parm_map, va_heap, vl_ptr>::operator[](unsigned int)
        /home/seurer/gcc/git/gcc-test2/gcc/vec.h:1842
0x108bacd3 merge_call_side_effects
        /home/seurer/gcc/git/gcc-test2/gcc/ipa-modref.c:984
0x108c551b analyze_call
        /home/seurer/gcc/git/gcc-test2/gcc/ipa-modref.c:1354
0x108c551b analyze_stmt
        /home/seurer/gcc/git/gcc-test2/gcc/ipa-modref.c:1519
0x108c551b analyze_function
        /home/seurer/gcc/git/gcc-test2/gcc/ipa-modref.c:2865
0x108c6b4f execute
        /home/seurer/gcc/git/gcc-test2/gcc/ipa-modref.c:3870

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c by r12-5244

[seurer at gcc dot gnu.org]

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

--- Comment #5 from seurer at gcc dot gnu.org ---
re: "only on power 10".  Not quite true.  I tried running it a bunch of times
on power 8, 9, and 10.  r12-5244 fails consistently on power 9 and power 10 but
not on power 8 (nor 7 from previous testing).

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c by r12-5244

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jan Hubicka <hubicka@gcc.gnu.org>:

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

commit r12-5292-ge69b7c5779863469479698f863ab25e0d9b4586e
Author: Jan Hubicka <jh@suse.cz>
Date:   Tue Nov 16 09:15:39 2021 +0100

    Fix uninitialized access in merge_call_side_effects

    gcc/ChangeLog:

            PR ipa/103262
            * ipa-modref.c (merge_call_side_effects): Fix uninitialized
            access.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/modref-dse-5.c: New test.

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c by r12-5244

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed now.

[Bug middle-end/103262] [12 Regression] Random FAIL: gcc.c-torture/execute/20061220-1.c by r12-5244

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0