https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70093
--- Comment #10 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Well, seems like the following fixes the ICEs! I'm still not quite sure if
this makes sense at all, but the C FE testsuite still passes. Needs a comment
and a bunch of tests.
--- a/gcc/c/c-typeck.c
+++ b/gcc/c/c-typeck.c
@@ -3068,6 +3068,15 @@ build_function_call_vec (location_t loc, vec<location_t>
arg_loc,
result = build_call_array_loc (loc, TREE_TYPE (fntype),
function, nargs, argarray);
+ if (fundecl
+ && decl_function_context (fundecl)
+ && variably_modified_type_p (TREE_TYPE (fntype), NULL_TREE))
+ {
+ tree tmp = create_tmp_var_raw (TREE_TYPE (fntype));
+ result = build4 (TARGET_EXPR, TREE_TYPE (fntype), tmp, result,
NULL_TREE,
+ NULL_TREE);
+ }
+
if (VOID_TYPE_P (TREE_TYPE (result)))
{
if (TYPE_QUALS (TREE_TYPE (result)) != TYPE_UNQUALIFIED)
