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

            Bug ID: 68287
           Summary: [6 Regression] conditional jump or move depends on
                    uninitialized value in lra-lives.c:1048
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

Using --enable-valgrind-annotations there's a possible issues in lra-lives.c
that is seen by valgrind as conditional jump or move depends on uninitialized
value. I know that RA contains couple of valgrind annotations that suppress
detection of similar errors. Maybe this should be also included?

revision: r230114

./configure --enable-languages=c,c++ --prefix=/home/marxin/Programming/bin/gcc2
--disable-multilib --disable-libsanitizer --enable-checking=release
--enable-valgrind-annotations --disable-bootstrap : (reconfigured) ../configure
--enable-languages=c,c++ --prefix=/home/marxin/Programming/bin/gcc2
--disable-multilib --disable-libsanitizer --enable-checking=release
--enable-valgrind-annotations --disable-bootstrap : (reconfigured) ../configure
--enable-languages=c,c++ --prefix=/home/marxin/Programming/bin/gcc2
--disable-multilib --disable-libsanitizer --enable-checking=release
--enable-valgrind-annotations --disable-bootstrap

valgrind --leak-check=yes --trace-children=yes --error-exitcode=111 -q 
/home/marxin/Programming/gcc2/objdir/gcc/xgcc
-B/home/marxin/Programming/gcc2/objdir/gcc/ -fno-diagnostics-show-caret
-fdiagnostics-color=never -O0 -w -c -o 20000609-1.o
/home/marxin/Programming/gcc2/gcc/testsuite/gcc.c-torture/compile/20000609-1.c
-O0

==28462== Conditional jump or move depends on uninitialised value(s)
==28462==    at 0xB75890: remove_some_program_points_and_update_live_ranges()
(lra-lives.c:1048)
==28462==    by 0xB75C96: compress_live_ranges() (lra-lives.c:1161)
==28462==    by 0xB763A0: lra_create_live_ranges_1(bool, bool)
(lra-lives.c:1310)
==28462==    by 0xB763D7: lra_create_live_ranges(bool, bool) (lra-lives.c:1322)
==28462==    by 0xB55420: lra(_IO_FILE*) (lra.c:2301)
==28462==    by 0xB041B3: do_reload() (ira.c:5380)
==28462==    by 0xB04528: (anonymous
namespace)::pass_reload::execute(function*) (ira.c:5551)
==28462==    by 0xC163D4: execute_one_pass(opt_pass*) (passes.c:2323)
==28462==    by 0xC166D7: execute_pass_list_1(opt_pass*) (passes.c:2396)
==28462==    by 0xC16708: execute_pass_list_1(opt_pass*) (passes.c:2397)
==28462==    by 0xC16760: execute_pass_list(function*, opt_pass*)
(passes.c:2407)
==28462==    by 0x8E7E7D: cgraph_node::expand() (cgraphunit.c:1965)
==28462== 

Thanks,
Martin

Reply via email to