[Bug sanitizer/65367] [5 Regression] indefinite loop occurs with sanitize enabled and certain optimization options

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Looks like to be caused by -fsanitize=object-size, i.e. we hit some looping in
ubsan_expand_objsize_ifn:

$ gstack 23098
#0  0x00000000008084a9 in gimple_code (g=0x7f3c99fc9dc8) at
/home/marek/src/gcc/gcc/gimple.h:1553
#1  0x0000000000808657 in gimple_has_mem_ops (g=0x7f3c99fc9dc8) at
/home/marek/src/gcc/gcc/gimple.h:1870
#2  0x000000000081eb06 in is_a_helper<gimple_statement_with_memory_ops
const*>::test<gimple_statement_base const> (gs=0x7f3c99fc9dc8) at
/home/marek/src/gcc/gcc/gimple.h:1878
#3  0x000000000081fad6 in is_a<gimple_statement_with_memory_ops const*,
gimple_statement_base const> (p=0x7f3c99fc9dc8) at
/home/marek/src/gcc/gcc/is-a.h:182
#4  0x000000000081ed66 in dyn_cast<gimple_statement_with_memory_ops const*,
gimple_statement_base const> (p=0x7f3c99fc9dc8) at
/home/marek/src/gcc/gcc/is-a.h:219
#5  0x0000000000ef7097 in gimple_vuse (g=0x7f3c99fc9dc8) at
/home/marek/src/gcc/gcc/gimple.h:1919
#6  0x0000000000efae9e in unlink_stmt_vdef (stmt=0x7f3c99fc9dc8) at
/home/marek/src/gcc/gcc/tree-ssa-operands.c:1311
#7  0x0000000000d62b48 in ubsan_expand_objsize_ifn (gsi=0x7fff594715f0) at
/home/marek/src/gcc/gcc/ubsan.c:1028
#8  0x0000000000d69f08 in (anonymous namespace)::pass_sanopt::execute
(this=0x2ad1d00, fun=0x7f3c99cfaa80) at /home/marek/src/gcc/gcc/sanopt.c:741
#9  0x0000000000c41985 in execute_one_pass (pass=0x2ad1d00) at
/home/marek/src/gcc/gcc/passes.c:2328
#10 0x0000000000c41bbf in execute_pass_list_1 (pass=0x2ad1d00) at
/home/marek/src/gcc/gcc/passes.c:2380
#11 0x0000000000c41c2d in execute_pass_list (fn=0x7f3c99cfaa80, pass=0x2acedc0)
at /home/marek/src/gcc/gcc/passes.c:2391
#12 0x000000000085e4a0 in cgraph_node::expand (this=0x7f3c99d03310) at
/home/marek/src/gcc/gcc/cgraphunit.c:1878
#13 0x000000000085ead4 in expand_all_functions () at
/home/marek/src/gcc/gcc/cgraphunit.c:2014
#14 0x000000000085f5ec in symbol_table::compile (this=0x7f3c99e2e000) at
/home/marek/src/gcc/gcc/cgraphunit.c:2367
#15 0x000000000085f798 in symbol_table::finalize_compilation_unit
(this=0x7f3c99e2e000) at /home/marek/src/gcc/gcc/cgraphunit.c:2444
#16 0x00000000006be04e in c_write_global_declarations () at
/home/marek/src/gcc/gcc/c/c-decl.c:10800
#17 0x0000000000d38ea3 in compile_file () at
/home/marek/src/gcc/gcc/toplev.c:608
#18 0x0000000000d3b32d in do_compile () at
/home/marek/src/gcc/gcc/toplev.c:2066
#19 0x0000000000d3b55b in toplev::main (this=0x7fff59471890, argc=9,
argv=0x7fff59471998) at /home/marek/src/gcc/gcc/toplev.c:2164
#20 0x0000000000698daa in main (argc=9, argv=0x7fff59471998) at
/home/marek/src/gcc/gcc/main.c:39