[Bug rtl-optimization/87375] New: Conditional jump or move depends on uninitialised value(s) in calculate_allocation_cost (ira.c:2453)

[marxin at gcc dot gnu.org]

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

            Bug ID: 87375
           Summary: Conditional jump or move depends on uninitialised
                    value(s) in calculate_allocation_cost (ira.c:2453)
           Product: gcc
           Version: 9.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: ---

When I configure GCC with --enable-valgrind-annotations I see:

$ cat valgrind.i
void
foo (void)
{
}

$ /home/marxin/Programming/gcc2/objdir/./gcc/xgcc
-B/home/marxin/Programming/gcc2/objdir/./gcc/ valgrind.i  -fpic -c  -m32
==14970== Conditional jump or move depends on uninitialised value(s)
==14970==    at 0xB1F9DF: calculate_allocation_cost (ira.c:2453)
==14970==    by 0xB1F9DF: ira (ira.c:5381)
==14970==    by 0xB1F9DF: (anonymous namespace)::pass_ira::execute(function*)
(ira.c:5610)
==14970==    by 0xBFB361: execute_one_pass(opt_pass*) (passes.c:2446)
==14970==    by 0xBFBB07: execute_pass_list_1(opt_pass*) (passes.c:2535)
==14970==    by 0xBFBB19: execute_pass_list_1(opt_pass*) (passes.c:2536)
==14970==    by 0xBFBB58: execute_pass_list(function*, opt_pass*)
(passes.c:2546)
==14970==    by 0x8F25EA: cgraph_node::expand() (cgraphunit.c:2121)
==14970==    by 0x8F3783: output_in_order (cgraphunit.c:2365)
==14970==    by 0x8F3783: symbol_table::compile() [clone .part.73]
(cgraphunit.c:2609)
==14970==    by 0x8F5C5C: compile (cgraphunit.c:2522)
==14970==    by 0x8F5C5C: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2788)
==14970==    by 0xCD6993: compile_file() (toplev.c:480)
==14970==    by 0x78020F: do_compile (toplev.c:2170)
==14970==    by 0x78020F: toplev::main(int, char**) (toplev.c:2305)
==14970==    by 0x78380A: main (main.c:39)
==14970== 

I see quite some many of these doing --enable-checking=valgrind