From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2153) id F25D73858D32; Fri, 10 Mar 2023 19:39:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F25D73858D32 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1678477146; bh=7I6gwVdUdmMR+3E434OTMdLcQ0iCZ6gHSIeYSnOdwFY=; h=From:To:Subject:Date:From; b=pKjGVjw6MmdOYwu1izbKq94cW8/PRuq8DD6vtc/KCtWMY02WLmLhp+ZF6uyg5lgul FAHth9O6AynQrcgSO1XzTBhGHNgDxW559YnbwWQKQKNO6NbLmAeDMn8kl3KSXj7TyR axco1mldBx0xkRDMYS9+uZ9QuUFToRPE46V8T5hI= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jakub Jelinek To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-6597] c++: Don't clear TREE_READONLY for -fmerge-all-constants for non-aggregates [PR107558] X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/heads/master X-Git-Oldrev: 991f9eb2da3a268b7b08346761fa0078ab55f506 X-Git-Newrev: 60b6f5c0a334db3f8f6dffaf0b9aab42fd5c54a2 Message-Id: <20230310193906.F25D73858D32@sourceware.org> Date: Fri, 10 Mar 2023 19:39:06 +0000 (GMT) List-Id: https://gcc.gnu.org/g:60b6f5c0a334db3f8f6dffaf0b9aab42fd5c54a2 commit r13-6597-g60b6f5c0a334db3f8f6dffaf0b9aab42fd5c54a2 Author: Jakub Jelinek Date: Fri Mar 10 20:38:13 2023 +0100 c++: Don't clear TREE_READONLY for -fmerge-all-constants for non-aggregates [PR107558] The following testcase ICEs, because OpenMP lowering for shared clause on l variable with REFERENCE_TYPE creates POINTER_TYPE to REFERENCE_TYPE. The reason is that the automatic variable has non-trivial construction (reference to a lambda) and -fmerge-all-constants is on and so TREE_READONLY isn't set - omp-low will handle automatic TREE_READONLY vars in shared specially and only copy to the construct and not back, while !TREE_READONLY are assumed to be changeable. The PR91529 change rationale was that the gimplification can change some non-addressable automatic variables to TREE_STATIC with -fmerge-all-constants and therefore TREE_READONLY on them is undesirable. But, the gimplifier does that only for aggregate variables: switch (TREE_CODE (type)) { case RECORD_TYPE: case UNION_TYPE: case QUAL_UNION_TYPE: case ARRAY_TYPE: and not for anything else. So, I think clearing TREE_READONLY for automatic integral or reference or pointer etc. vars for -fmerge-all-constants only is unnecessary. 2023-03-10 Jakub Jelinek PR c++/107558 * decl.cc (cp_finish_decl): Don't clear TREE_READONLY on automatic non-aggregate variables just because of -fmerge-all-constants. * g++.dg/gomp/pr107558.C: New test. Diff: --- gcc/cp/decl.cc | 6 ++++-- gcc/testsuite/g++.dg/gomp/pr107558.C | 14 ++++++++++++++ 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/gcc/cp/decl.cc b/gcc/cp/decl.cc index 51199bb311a..1d1ae022606 100644 --- a/gcc/cp/decl.cc +++ b/gcc/cp/decl.cc @@ -8685,8 +8685,10 @@ cp_finish_decl (tree decl, tree init, bool init_const_expr_p, if (var_definition_p /* With -fmerge-all-constants, gimplify_init_constructor - might add TREE_STATIC to the variable. */ - && (TREE_STATIC (decl) || flag_merge_constants >= 2)) + might add TREE_STATIC to aggregate variables. */ + && (TREE_STATIC (decl) + || (flag_merge_constants >= 2 + && AGGREGATE_TYPE_P (type)))) { /* If a TREE_READONLY variable needs initialization at runtime, it is no longer readonly and we need to diff --git a/gcc/testsuite/g++.dg/gomp/pr107558.C b/gcc/testsuite/g++.dg/gomp/pr107558.C new file mode 100644 index 00000000000..8a6b8d45df7 --- /dev/null +++ b/gcc/testsuite/g++.dg/gomp/pr107558.C @@ -0,0 +1,14 @@ +// PR c++/107558 +// { dg-do compile { target c++11 } } +// { dg-additional-options "-fmerge-all-constants" } +// { dg-additional-options "-flto" { target lto } } + +int a = 15; + +void +foo () +{ + auto &&l = [&]() { return a; }; +#pragma omp target parallel + l (); +}