From 799e2e7f023784b9cdcebfe5751d183d125b2bd8 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Mon, 9 Jan 2023 21:56:34 +0000 Subject: c: Check for modifiable static compound literals in inline definitions The C rule against modifiable objects with static storage duration in inline definitions should apply to compound literals (using the C2x feature of storage-class specifiers for compound literals) just as to variables. Add a call to record_inline_static for compound literals to make sure this case is detected. Bootstrapped with no regressions for x86_64-pc-linux-gnu. gcc/c/ * c-decl.cc (build_compound_literal): Call record_inline_static. gcc/testsuite/ * gcc.dg/c2x-complit-8.c: New test. --- gcc/c/c-decl.cc | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'gcc/c') diff --git a/gcc/c/c-decl.cc b/gcc/c/c-decl.cc index e47ca67..d76ffb3 100644 --- a/gcc/c/c-decl.cc +++ b/gcc/c/c-decl.cc @@ -6260,6 +6260,13 @@ build_compound_literal (location_t loc, tree type, tree init, bool non_const, DECL_USER_ALIGN (decl) = 1; } store_init_value (loc, decl, init, NULL_TREE); + if (current_scope != file_scope + && TREE_STATIC (decl) + && !TREE_READONLY (decl) + && DECL_DECLARED_INLINE_P (current_function_decl) + && DECL_EXTERNAL (current_function_decl)) + record_inline_static (input_location, current_function_decl, + decl, csi_modifiable); if (TREE_CODE (type) == ARRAY_TYPE && !COMPLETE_TYPE_P (type)) { -- cgit v1.1