https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94292
Bug ID: 94292 Summary: [10 Regression] ICE: SIGSEGV in forward_propagate_and_simplify (fwprop.c:1417) with -O -g -fno-tree-dce Product: gcc Version: 10.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: rtl-optimization Assignee: unassigned at gcc dot gnu.org Reporter: zsojka at seznam dot cz Target Milestone: --- Host: x86_64-pc-linux-gnu Target: armv7a-hardfloat-linux-gnueabi Created attachment 48101 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48101&action=edit reduced testcase Compiler output: $ armv7a-hardfloat-linux-gnueabi-gcc -O -g -fno-tree-dce testcase.c -wrapper valgrind,-q ==29911== Invalid read of size 2 ==29911== at 0x19BF0D3: forward_propagate_and_simplify (fwprop.c:1417) ==29911== by 0x19BF0D3: forward_propagate_into(df_ref_d*, bool) (fwprop.c:1490) ==29911== by 0x19BFDA9: fwprop(bool) (fwprop.c:1580) ==29911== by 0xF44C0E: execute_one_pass(opt_pass*) (passes.c:2502) ==29911== by 0xF453BF: execute_pass_list_1(opt_pass*) (passes.c:2590) ==29911== by 0xF453D1: execute_pass_list_1(opt_pass*) (passes.c:2591) ==29911== by 0xF453F8: execute_pass_list(function*, opt_pass*) (passes.c:2601) ==29911== by 0xBA8FDB: cgraph_node::expand() (cgraphunit.c:2300) ==29911== by 0xBAA07F: expand_all_functions (cgraphunit.c:2471) ==29911== by 0xBAA07F: symbol_table::compile() [clone .part.0] (cgraphunit.c:2821) ==29911== by 0xBAC7EC: compile (cgraphunit.c:2734) ==29911== by 0xBAC7EC: symbol_table::finalize_compilation_unit() (cgraphunit.c:3001) ==29911== by 0x103F13A: compile_file() (toplev.c:483) ==29911== by 0xA15047: do_compile (toplev.c:2273) ==29911== by 0xA15047: toplev::main(int, char**) (toplev.c:2412) ==29911== by 0xA178BE: main (main.c:39) ==29911== Address 0x0 is not stack'd, malloc'd or (recently) free'd ==29911== during RTL pass: fwprop1 testcase.c: In function 'foo': testcase.c:9:1: internal compiler error: Segmentation fault 9 | } | ^ Please submit a full bug report, with preprocessed source if appropriate. See <https://gcc.gnu.org/bugs/> for instructions. $ armv7a-hardfloat-linux-gnueabi-gcc -v Using built-in specs. COLLECT_GCC=/repo/gcc-trunk/binary-latest-armv7a-hardfloat/bin/armv7a-hardfloat-linux-gnueabi-gcc COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r10-7327-20200323085706-g2fa4b1ffd6e-checking-yes-rtl-df-extra-pr94286-armv7a-hardfloat/bin/../libexec/gcc/armv7a-hardfloat-linux-gnueabi/10.0.1/lto-wrapper Target: armv7a-hardfloat-linux-gnueabi Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++ --enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra --with-cloog --with-ppl --with-isl --with-float=hard --with-fpu=vfpv4 --with-arch=armv7-a --with-sysroot=/usr/armv7a-hardfloat-linux-gnueabi --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --target=armv7a-hardfloat-linux-gnueabi --with-ld=/usr/bin/armv7a-hardfloat-linux-gnueabi-ld --with-as=/usr/bin/armv7a-hardfloat-linux-gnueabi-as --disable-libstdcxx-pch --prefix=/repo/gcc-trunk//binary-trunk-r10-7327-20200323085706-g2fa4b1ffd6e-checking-yes-rtl-df-extra-pr94286-armv7a-hardfloat Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 10.0.1 20200323 (experimental) (GCC)