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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2017-01-30
                 CC|                            |trippels at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
==24058== Invalid read of size 8
==24058==    at 0xE336B0: process_assert_insertions (tree-vrp.c:6535)
==24058==    by 0xE336B0: insert_range_assertions (tree-vrp.c:6634)
==24058==    by 0xE336B0: execute_vrp (tree-vrp.c:11367)
==24058==    by 0xE336B0: (anonymous namespace)::pass_vrp::execute(function*)
(tree-vrp.c:11465)
==24058==    by 0xABA382: execute_one_pass(opt_pass*) (passes.c:2465)
==24058==    by 0xABAC70: execute_pass_list_1(opt_pass*) (passes.c:2554)
==24058==    by 0xABAC82: execute_pass_list_1(opt_pass*) (passes.c:2555)
==24058==    by 0xABACCC: execute_pass_list(function*, opt_pass*)
(passes.c:2565)
==24058==    by 0x780C8C: cgraph_node::expand() (cgraphunit.c:2036)
==24058==    by 0x78243B: expand_all_functions (cgraphunit.c:2172)
==24058==    by 0x78243B: symbol_table::compile() [clone .part.51]
(cgraphunit.c:2529)
==24058==    by 0x784B64: compile (cgraphunit.c:2622)
==24058==    by 0x784B64: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2619)
==24058==    by 0xB98CC2: compile_file() (toplev.c:488)
==24058==    by 0x5D6919: do_compile (toplev.c:1983)
==24058==    by 0x5D6919: toplev::main(int, char**) (toplev.c:2117)
==24058==    by 0x5D8B9D: main (main.c:39)
==24058==  Address 0x5585348 is 8 bytes inside a block of size 72 free'd
==24058==    at 0x402FE2B: free (vg_replace_malloc.c:530)
==24058==    by 0xE34550: process_assert_insertions (tree-vrp.c:6547)
==24058==    by 0xE34550: insert_range_assertions (tree-vrp.c:6634)
==24058==    by 0xE34550: execute_vrp (tree-vrp.c:11367)
==24058==    by 0xE34550: (anonymous namespace)::pass_vrp::execute(function*)
(tree-vrp.c:11465)
==24058==    by 0xABA382: execute_one_pass(opt_pass*) (passes.c:2465)
==24058==    by 0xABAC70: execute_pass_list_1(opt_pass*) (passes.c:2554)
==24058==    by 0xABAC82: execute_pass_list_1(opt_pass*) (passes.c:2555)
==24058==    by 0xABACCC: execute_pass_list(function*, opt_pass*)
(passes.c:2565)
==24058==    by 0x780C8C: cgraph_node::expand() (cgraphunit.c:2036)
==24058==    by 0x78243B: expand_all_functions (cgraphunit.c:2172)
==24058==    by 0x78243B: symbol_table::compile() [clone .part.51]
(cgraphunit.c:2529)
==24058==    by 0x784B64: compile (cgraphunit.c:2622)
==24058==    by 0x784B64: symbol_table::finalize_compilation_unit()
(cgraphunit.c:2619)
==24058==    by 0xB98CC2: compile_file() (toplev.c:488)
==24058==    by 0x5D6919: do_compile (toplev.c:1983)
==24058==    by 0x5D6919: toplev::main(int, char**) (toplev.c:2117)
==24058==    by 0x5D8B9D: main (main.c:39)
==24058==  Block was alloc'd at
==24058==    at 0x402EBAF: malloc (vg_replace_malloc.c:299)
==24058==    by 0x143B3E7: xmalloc (xmalloc.c:147)
==24058==    by 0xE1E3B9: register_new_assert_for(tree_node*, tree_node*,
tree_code, tree_node*, basic_block_def*, edge_def*, gimple_stmt_iterator)
(tree-vrp.c:5045)
==24058==    by 0xE30E36: register_edge_assert_for_1(tree_node*, tree_code,
edge_def*, gimple_stmt_iterator) (tree-vrp.c:5755)
==24058==    by 0xE313E1: register_edge_assert_for(tree_node*, edge_def*,
gimple_stmt_iterator, tree_code, tree_node*, tree_node*) (tree-vrp.c:5885)
==24058==    by 0xE32836: find_conditional_asserts (tree-vrp.c:5923)
==24058==    by 0xE32836: find_assert_locations_1 (tree-vrp.c:6187)
==24058==    by 0xE32836: find_assert_locations() (tree-vrp.c:6348)
==24058==    by 0xE333CE: insert_range_assertions (tree-vrp.c:6631)
==24058==    by 0xE333CE: execute_vrp (tree-vrp.c:11367)
==24058==    by 0xE333CE: (anonymous namespace)::pass_vrp::execute(function*)
(tree-vrp.c:11465)
==24058==    by 0xABA382: execute_one_pass(opt_pass*) (passes.c:2465)
==24058==    by 0xABAC70: execute_pass_list_1(opt_pass*) (passes.c:2554)
==24058==    by 0xABAC82: execute_pass_list_1(opt_pass*) (passes.c:2555)
==24058==    by 0xABACCC: execute_pass_list(function*, opt_pass*)
(passes.c:2565)
==24058==    by 0x780C8C: cgraph_node::expand() (cgraphunit.c:2036)

Reply via email to