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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
val ~/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/ppc64le-linux-gnu-gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c -O3 -c
==29096== Memcheck, a memory error detector
==29096== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==29096== Using Valgrind-3.16.0 and LibVEX; rerun with -h for copyright info
==29096== Command:
/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/ppc64le-linux-gnu-gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c -O3 -c
==29096== 
==29097== Memcheck, a memory error detector
==29097== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==29097== Using Valgrind-3.16.0 and LibVEX; rerun with -h for copyright info
==29097== Command:
/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/../lib/gcc/ppc64le-linux-gnu/11.0.0/cc1
-quiet -iprefix
/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/../lib64/gcc/ppc64le-linux-gnu/11.0.0/
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c -quiet
-dumpbase pr33373b.c -dumpbase-ext .c -O3 -o /tmp/cc34bJ5g.s
==29097== 
==29097== Conditional jump or move depends on uninitialised value(s)
==29097==    at 0xCCBC3A: get_vectype_for_scalar_type (tree-vect-stmts.c:10998)
==29097==    by 0xCCBC3A: vectorizable_shift(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, gimple**, _slp_tree*, vec<stmt_info_for_cost, va_heap,
vl_ptr>*) (tree-vect-stmts.c:5404)
==29097==    by 0xCE0FAD: vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*,
_slp_tree*, _slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
(tree-vect-stmts.c:10555)
==29097==    by 0xCF83DE: vect_analyze_loop_operations (tree-vect-loop.c:1613)
==29097==    by 0xCF83DE: vect_analyze_loop_2 (tree-vect-loop.c:2164)
==29097==    by 0xCF83DE: vect_analyze_loop(loop*, vec_info_shared*)
(tree-vect-loop.c:2612)
==29097==    by 0xD156A4: try_vectorize_loop_1(hash_table<simduid_to_vf, false,
xcallocator>*&, unsigned int*, loop*, gimple*, gimple*) (tree-vectorizer.c:955)
==29097==    by 0xD160D9: vectorize_loops() (tree-vectorizer.c:1189)
==29097==    by 0xA23347: execute_one_pass(opt_pass*) (passes.c:2502)
==29097==    by 0xA23C8F: execute_pass_list_1(opt_pass*) (passes.c:2590)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CC8: execute_pass_list(function*, opt_pass*)
(passes.c:2601)
==29097==    by 0x710CFD: cgraph_node::expand() (cgraphunit.c:2301)
==29097==    by 0x711D8F: expand_all_functions (cgraphunit.c:2472)
==29097==    by 0x711D8F: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2823)
==29097== 
==29097== Use of uninitialised value of size 8
==29097==    at 0xCCBC40: get_vectype_for_scalar_type (tree-vect-stmts.c:10999)
==29097==    by 0xCCBC40: vectorizable_shift(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, gimple**, _slp_tree*, vec<stmt_info_for_cost, va_heap,
vl_ptr>*) (tree-vect-stmts.c:5404)
==29097==    by 0xCE0FAD: vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*,
_slp_tree*, _slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
(tree-vect-stmts.c:10555)
==29097==    by 0xCF83DE: vect_analyze_loop_operations (tree-vect-loop.c:1613)
==29097==    by 0xCF83DE: vect_analyze_loop_2 (tree-vect-loop.c:2164)
==29097==    by 0xCF83DE: vect_analyze_loop(loop*, vec_info_shared*)
(tree-vect-loop.c:2612)
==29097==    by 0xD156A4: try_vectorize_loop_1(hash_table<simduid_to_vf, false,
xcallocator>*&, unsigned int*, loop*, gimple*, gimple*) (tree-vectorizer.c:955)
==29097==    by 0xD160D9: vectorize_loops() (tree-vectorizer.c:1189)
==29097==    by 0xA23347: execute_one_pass(opt_pass*) (passes.c:2502)
==29097==    by 0xA23C8F: execute_pass_list_1(opt_pass*) (passes.c:2590)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CC8: execute_pass_list(function*, opt_pass*)
(passes.c:2601)
==29097==    by 0x710CFD: cgraph_node::expand() (cgraphunit.c:2301)
==29097==    by 0x711D8F: expand_all_functions (cgraphunit.c:2472)
==29097==    by 0x711D8F: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2823)
==29097== 
==29097== Invalid read of size 4
==29097==    at 0xCCBC40: get_vectype_for_scalar_type (tree-vect-stmts.c:10999)
==29097==    by 0xCCBC40: vectorizable_shift(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, gimple**, _slp_tree*, vec<stmt_info_for_cost, va_heap,
vl_ptr>*) (tree-vect-stmts.c:5404)
==29097==    by 0xCE0FAD: vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*,
_slp_tree*, _slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
(tree-vect-stmts.c:10555)
==29097==    by 0xCF83DE: vect_analyze_loop_operations (tree-vect-loop.c:1613)
==29097==    by 0xCF83DE: vect_analyze_loop_2 (tree-vect-loop.c:2164)
==29097==    by 0xCF83DE: vect_analyze_loop(loop*, vec_info_shared*)
(tree-vect-loop.c:2612)
==29097==    by 0xD156A4: try_vectorize_loop_1(hash_table<simduid_to_vf, false,
xcallocator>*&, unsigned int*, loop*, gimple*, gimple*) (tree-vectorizer.c:955)
==29097==    by 0xD160D9: vectorize_loops() (tree-vectorizer.c:1189)
==29097==    by 0xA23347: execute_one_pass(opt_pass*) (passes.c:2502)
==29097==    by 0xA23C8F: execute_pass_list_1(opt_pass*) (passes.c:2590)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CC8: execute_pass_list(function*, opt_pass*)
(passes.c:2601)
==29097==    by 0x710CFD: cgraph_node::expand() (cgraphunit.c:2301)
==29097==    by 0x711D8F: expand_all_functions (cgraphunit.c:2472)
==29097==    by 0x711D8F: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2823)
==29097==  Address 0x80000005d is not stack'd, malloc'd or (recently) free'd
==29097==

Reply via email to