https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86532
--- Comment #18 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- (In reply to Martin Sebor from comment #12) > Patch: https://gcc.gnu.org/ml/gcc-patches/2018-07/msg00936.html Sorry, Martin, with your patch I have an ICE in the following test: $ cat part.c const char a[2][3] = { "121", "1" }; int main () { int n = __builtin_strlen (&a[0][0]); n += __builtin_strlen (a[0]); if (n != 8) __builtin_abort (); } $ gcc part.c part.c: In function 'main': part.c:3:5: error: type mismatch in binary expression int main () ^~~~ long unsigned int ssizetype ssizetype iftmp.0 = 4 - _2; part.c:3:5: internal compiler error: verify_gimple failed 0x106af1f verify_gimple_in_seq(gimple*) ../../gcc-trunk/gcc/tree-cfg.c:5085 0xc95dbc gimplify_body(tree_node*, bool) ../../gcc-trunk/gcc/gimplify.c:12822 0xc96284 gimplify_function_tree(tree_node*) ../../gcc-trunk/gcc/gimplify.c:12912 0xa3e8f2 cgraph_node::analyze() ../../gcc-trunk/gcc/cgraphunit.c:669 0xa401bd analyze_functions ../../gcc-trunk/gcc/cgraphunit.c:1122 0xa44c61 symbol_table::finalize_compilation_unit() ../../gcc-trunk/gcc/cgraphunit.c:2670 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.
