From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> Received: from fx308.security-mail.net (smtpout30.security-mail.net [85.31.212.39]) by sourceware.org (Postfix) with ESMTPS id A69313969811 for ; Tue, 10 Aug 2021 15:03:43 +0000 (GMT) Authentication-Results: sourceware.org; dkim=permerror (bad message/signature format) Received: by fx308.security-mail.net (Postfix) id BD177273D23; Tue, 10 Aug 2021 17:03:42 +0200 (CEST) Date: Tue, 10 Aug 2021 17:03:42 +0200 (CEST) From: MAILER-DAEMON (Mail Delivery System) Subject: Undelivered Mail Returned to Sender To: gcc-patches@gcc.gnu.org Auto-Submitted: auto-replied MIME-Version: 1.0 Content-Type: multipart/report; report-type=delivery-status; boundary="7BEC4273D21.1628607822/fx308.security-mail.net" Content-Transfer-Encoding: 8bit Message-Id: <20210810150342.BD177273D23@fx308.security-mail.net> X-Spam-Status: No, score=-5.2 required=5.0 tests=BAYES_00, HTML_MESSAGE, KAM_DMARC_STATUS, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 10 Aug 2021 15:03:54 -0000 This is a MIME-encapsulated message. --7BEC4273D21.1628607822/fx308.security-mail.net Content-Description: Notification Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit This is the mail system at host fx308.security-mail.net. I'm sorry to have to inform you that your message could not be delivered to one or more recipients. It's attached below. For further assistance, please send mail to postmaster. If you do so, please include this problem report. You can delete your own text from the attached returned message. The mail system : host zimbra2.kalray.eu[195.135.97.26] said: 550 5.1.1 : Recipient address rejected: User unknown in virtual mailbox table (in reply to RCPT TO command) --7BEC4273D21.1628607822/fx308.security-mail.net Content-Description: Delivery report Content-Type: message/delivery-status Reporting-MTA: dns; fx308.security-mail.net X-Postfix-Queue-ID: 7BEC4273D21 X-Postfix-Sender: rfc822; gcc-patches@gcc.gnu.org Arrival-Date: Tue, 10 Aug 2021 17:03:42 +0200 (CEST) Final-Recipient: rfc822; marc.poulhies@kalray.eu Original-Recipient: rfc822;marc.poulhies@kalray.eu Action: failed Status: 5.1.1 Remote-MTA: dns; zimbra2.kalray.eu Diagnostic-Code: smtp; 550 5.1.1 : Recipient address rejected: User unknown in virtual mailbox table --7BEC4273D21.1628607822/fx308.security-mail.net Content-Description: Undelivered Message Content-Type: message/rfc822 Content-Transfer-Encoding: 8bit Return-Path: Received: from sourceware.org (ip-8-43-85-97.sourceware.org [8.43.85.97]) by fx308.security-mail.net (Postfix) with ESMTPS id D2103273D12 for ; Tue, 10 Aug 2021 17:03:40 +0200 (CEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 20C8E3840022 for ; Tue, 10 Aug 2021 15:03:39 +0000 (GMT) Received: from mx0a-00069f02.pphosted.com (mx0a-00069f02.pphosted.com [205.220.165.32]) by sourceware.org (Postfix) with ESMTPS id 2FE47385C400 for ; Tue, 10 Aug 2021 15:02:40 +0000 (GMT) Received: from pps.filterd (m0246627.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 17AF0pQm010745; Tue, 10 Aug 2021 15:02:37 GMT Received: from userp3020.oracle.com (userp3020.oracle.com [156.151.31.79]) by mx0b-00069f02.pphosted.com with ESMTP id 3ab01rbva5-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 10 Aug 2021 15:02:36 +0000 Received: from pps.filterd (userp3020.oracle.com [127.0.0.1]) by userp3020.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 17AF0Aa8169720; Tue, 10 Aug 2021 15:02:35 GMT Received: from nam12-dm6-obe.outbound.protection.outlook.com (mail-dm6nam12lp2173.outbound.protection.outlook.com [104.47.59.173]) by userp3020.oracle.com with ESMTP id 3aa3xt8nce-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 10 Aug 2021 15:02:35 +0000 Received: from CH2PR10MB4344.namprd10.prod.outlook.com (2603:10b6:610:af::19) by CH0PR10MB4891.namprd10.prod.outlook.com (2603:10b6:610:c1::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4394.17; Tue, 10 Aug 2021 15:02:33 +0000 Received: from CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::f463:6b71:2491:d547]) by CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::f463:6b71:2491:d547%9]) with mapi id 15.20.4415.014; Tue, 10 Aug 2021 15:02:33 +0000 X-Quarantine-ID: X-Virus-Scanned: E-securemail, by Secumail X-Spam-Status: No, score=1.414 tagged_above=-1000 required=7.5 tests=[AB_ENVFROM_LONG_40=0.5, AB_FAKE_WORD_1=0.2, AB_IN_REPLY_TO_EXISTS=-1, AB_LONG_SUBJ_30=0.001, DKIM_SIGNED=0.1, DKIM_VALID=-1, DKIM_VALID_AU=-0.1, FAKE_REPLY_SURE_B=1, FSL_RCVD_EX_GT_5=1, FSL_RCVD_UT_GT_5=0.01, HEAD_NEWS=-0.5, MISSING_MID=0.14, MM_ENVFROM_BOUNCE=1, RCVD_IN_DNSWL_MED=-1.3, RDNS_DYNAMIC=0.363, SINGLE_HEADER_2K=1, S_FROM_GREY_MINUS_2=-2, TEST_REPLY_B=1, THREAD_INDEX_BAD=1] autolearn=disabled Authentication-Results: fx308.security-mail.net (amavisd-new); dkim=pass (1024-bit key) header.d=gcc.gnu.org Secumail-id: <3aeb.6112954c.96d85.0> DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 20C8E3840022 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1628607819; bh=9ut5jbFXRJie156w5Yxr4sW0qHAmadBfXsE/EWH987A=; h=To:Subject:Date:References:In-Reply-To:List-Id:List-Unsubscribe: List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:Cc: From; b=aS0Y8nYGVolzhgKBUqZiGZBkwLfD/DsUcrVgNHO4r/pcLa0NEMjvNbXI1indTxaSh mrmgZB5LTK38Gx96766TinNcBrNdfg9xL8mIwgKPUz2UqaIW0Q1e4qXE/tyJMqVzK+ uOFVfGhh7xhvKqJxnNu1yKeT4bXnTDs+OxElPTOk= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 2FE47385C400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=G9pgGLu1s5IxynFG4ChBognCwT7K5X8pg9LmFzkXI0R9A/FnIdVqldwQeE8bsa8GZjwdfulopRhcBnWg+N1U73Ju4773qRSf79qoPOcyiWfm1J9EAdEuwLeD7nppAb25Er57je5xOp4aY4BAvH3zO/EsKNnHeDV7yyCzTJHCHrkhv9ztP10mXavQGMhjhz4/Gsw0FH/JsjL5iKjipK+w5wHZUY3WoMCfQGqSQyrD8JZ80tnLVAnuVUgKbQ3dspcqEppocyPdAKi7z6fADl+SlEHC2bLeug8LZVXeA+cCia+tg71xHXcP5/b660c4gd+vrDks8yP+N/gtVhiMrd52Fg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=9ut5jbFXRJie156w5Yxr4sW0qHAmadBfXsE/EWH987A=; b=OnPvTE7DNS2fYegBgo731YfAyp/29pljEd52qbOu9TSb86TiHaCBBPRElW/U1BMi0EF9mG7ig577x9CyJhM3Trz5rmpw9ezdU5dPmpM4Io0vXjA7AsEDeVCYe/KgTOmuhXxbRAvkd8D7gFmcNKebEGnAajz82TR4zXtRG2UhdUsF9nFgZFC431N+bgq5DMleAmeNumJlFhF3iAKfXeUaaxiZxxA/weXskI219vBd5qqB6V6wCjmBYoabMHKGN1aHvcLr4D8gTXA88JLDTd6jLd8UJAfj3Ca3oWX/3MIosOpYvzubx+UiuoxacSAZ+Ha7YbotDkf6sCBQ+eE6eURPew== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none To: Richard Biener Subject: Re: [patch][version 6] add -ftrivial-auto-var-init and variable attribute "uninitialized" to gcc Thread-Topic: [patch][version 6] add -ftrivial-auto-var-init and variable attribute "uninitialized" to gcc Thread-Index: AQHXgpcfj6SO0Rka1UmU0GU91mFncqtrSzIAgAApjACAAPr8gIAAZYMAgAAKVgCAAAy9gA== Date: Tue, 10 Aug 2021 15:02:33 +0000 Message-ID: References: <52E29277-1403-4755-901A-528116C43FB8@oracle.com> <58ADBC0C-9D44-485B-BB5A-B072664B9C4F@oracle.com> In-Reply-To: Accept-Language: en-US Content-Language: en-us X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3608.120.23.2.7) x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 92ea65ed-dce5-42e9-de06-08d95c0fe20e x-ms-traffictypediagnostic: CH0PR10MB4891: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:5236; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: EosuCEGceZOuIP8xXVfogAsjKi3K/22mFcwlUopm7kQ8A6a9LY6gFiZknfiok9heuHkpdIPAbhuBM/aZc7gKLYANGG3L4sQm0DX+VQUk4GCcdL3Ol34X5nFgdxn76wh2LjGJz31rHGz0G1G8JqUMg3wYwbLxQ5Ei50p8RPqGod9W3lgwr4x2MztB3IKFcEqLMbIkA5ZvihljafZdpMKQKfCnreCk9l8+roZq4ato6KEYPknf6TsiDGJtJ6ABDexXJxvQO6FbxGaQH6ZXUNzSK03MEB0rMtYMl7uuZItQMkQQnJuGSj9fawxzfGN5ZbflBZvuy9gSLeb82ephGbRTxU2GyA2EsKsOCyY/EqlGlmPP06BigjbvDboUmL94mvLF/FF/qp73XBhW7iceVQ1tYaiVJpOVRh/KfzbjFjNKDw1zeWDLvK2iZnz46F9E+A9UBQNSm42aYawxyWvta8kQkYyoJIPq2bc4O8hYzF6n2pcPTh8Eoxrj+K1DQ0Xx5RYzG2nEbfaEYnj9lbkm3sa12zxOsDGf46Ko7EaicQYO7I0yMFFyKmlHl5dNuC7TbbkU1kW8uu9tmB83WVrHmZ0HzE0WjcjmneKNnNFiIFgHI+TRqTg/LOzmMWOExlmWG2GOvsb52Vlq260bS8H+thvZXFAplqtAgpNYNEjzVuanfnohIrWxCjeyrpcl3O4h0WKjKHsxx/+A9Y1FHYG/pT2mbQALU+pYq6F7zmNGsjMQNhKmR21aGII1PCfNWqYCNix/w0QlvaG6zWIRaKotVUoW7Q== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:CH2PR10MB4344.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(366004)(2906002)(83380400001)(508600001)(2616005)(186003)(53546011)(44832011)(6916009)(54906003)(38100700002)(122000001)(86362001)(64756008)(33656002)(4326008)(66476007)(6486002)(71200400001)(36756003)(66446008)(76116006)(91956017)(66556008)(38070700005)(6506007)(66946007)(8676002)(316002)(5660300002)(8936002)(6512007)(45980500001)(266184004); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: y4wUKpU4Gwqx9r+PGaDlp1RqmAG6trjuRJgx1gJbE0pTfaZyvY7FriyFVL0Y0TWLk2MpWsNl5JE49GgTF6Lb0JLKz/W0lxejM+zFGDJuOTwU1ORBXckaHXYI9wXocJfIHpPs6RKHdJ2UnlnleJwVjdptyF+8926uxwYrD/qNiolVAzU3dZu9pSpismAU8HE78LLCFL1MqVRnMlTLCRF0w2iaKWYiZMIVbhn4GT4pjqv4lgCivCOOz1DipaFvJekAfjCKGqQih2O46342L4RmTcC6h8KzKfZ+2CsyqnPuM++mTiVg3ZgdLHE4KuxTutnm0oGvaFVvrQmhmk7sFAlMJvRc63ctz0HDvXXTp/tmPVTtsVmH6lb4XhIdR11wU7KTWwP0S8rBL8wsMwOYrTgVR6W+3JTjNboYqL7aKjpWOZPTlCi5Ac0Vc/FWt1t7gOuaKYNLd4l3xel2TLEaIyidmNrCjsMuZjgX1htsk9UuqFbUgs+4sk9OGgF5QR0TDUP4p/B7FhU3Nqew2XXFoWoZ1zOZ60LzlMClO4RYpUIz7pR+6PRS6wDzlrxsvgNd1ymPKpS7jwIPNv8sMDGJCmgpCDqx5fv8gdEih1G3AC9lJ6RyWsWZeekrFraNmBkOjARiLmlV6DoCXrAETl4t6id3tlYV56AraIL+a00lBi4WT5STWwl2hrrVcfT5lzaz7ykfcPU7XQ/Ek0HsVUhxbsawjubzAzIr2+IKFj3uv5wcxXV/IGx9Ee4NR8PnwpnyAx5rGdJSB33WMxzLTuLR47WwfBHVx6gVRggsTih/GwuCkL4OHXjLLWTAqUApVtrnBZhY/iCfSKAjlnKYhPQJmaglzP0tk7WJ10zcIYwtzwfZpiAEx6AM23zU10sK9bKFL9o929tbO/07Y5RpcWv3vQHcja0I8gsTxQxFzVdKZyPfBGRn+ket9A9182B0dvG8Ut1A 4+qJNrLt9NvXZzkjuKIvXV2NAHDeVGAKy0rSV0I7W2R/m47ngF+1SrA58B8VKwHD4p+aA+q7Ns6293/ralyOctJ3BXoLL42/F1jJqBTYQIgOuRK9z0GBYvNxMWnDUdzRgP+e31MlJ+UJFWGvNs8Xht2RQpf64c+hSGvTzOkZQm/bV1aS6fCOTzhzma3RTD891aXDjOYEIDeDOEqp+l0QfnSw5P4JQtqnKsalF0ZHmPUuTM9q54Wig+suy8549Ecw0Nd2I6IxC3MRfO8ldu8m0Igxo9hviyI86rAlwlYuoOE4/lLIxjwejxlH+vDG6wdpv1WtEXQYuVFqdIaR4K9OfrYWmbYMzJCGLtsdlscwEjZCvKRS+7SvNp5PbLQoIGu9ieh3DgmVKC8EdvpE2kLrx/Gg/Moh1j9RWAH8kqsLLqcynMQytISziDr9QV863Fpi x-ms-exchange-transport-forked: True Content-ID: <6AD39225B57FA94C9E8442B316AC5306@namprd10.prod.outlook.com> MIME-Version: 1.0 X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: CH2PR10MB4344.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 92ea65ed-dce5-42e9-de06-08d95c0fe20e X-MS-Exchange-CrossTenant-originalarrivaltime: 10 Aug 2021 15:02:33.5649 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: TRPokZB/WY5xoT5gEeRsqEFG0oE8Gftz/a9EXmvM27xtvzvV+0qcKaHU+SO9DEumCeb6XcGBxRTKJz1JiBcTuw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH0PR10MB4891 X-Proofpoint-Virus-Version: vendor=nai engine=6200 definitions=10072 signatures=668682 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 mlxscore=0 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 spamscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2107140000 definitions=main-2108100096 X-Proofpoint-ORIG-GUID: wEl2Ogc7KYw4embItFY8S44D1tGEiIh5 X-Proofpoint-GUID: wEl2Ogc7KYw4embItFY8S44D1tGEiIh5 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Qing Zhao via Gcc-patches Reply-To: Qing Zhao Cc: Jakub Jelinek , Nick Alcock via Gcc-patches , Kees Cook Errors-To: gcc-patches-bounces+marc.poulhies=kalray.eu@gcc.gnu.org Sender: Gcc-patches X-ALTERMIMEV2_in: done Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Hi, > On Aug 10, 2021, at 9:16 AM, Richard Biener wrote: > > On Tue, 10 Aug 2021, Qing Zhao wrote: > >>>>> >>>>> +static void >>>>> +expand_DEFERRED_INIT (internal_fn, gcall *stmt) >>>>> +{ >>>>> + tree var = gimple_call_lhs (stmt); >>>>> + tree size_of_var = gimple_call_arg (stmt, 0); >>>>> + tree vlaaddr = NULL_TREE; >>>>> + tree var_type = TREE_TYPE (var); >>>>> + bool is_vla = (bool) TREE_INT_CST_LOW (gimple_call_arg (stmt, 2)); >>>>> + enum auto_init_type init_type >>>>> + = (enum auto_init_type) TREE_INT_CST_LOW (gimple_call_arg (stmt, 1)); >>>>> + >>>>> + gcc_assert (init_type > AUTO_INIT_UNINITIALIZED); >>>>> + >>>>> + /* if this variable is a VLA, get its SIZE and ADDR first. */ >>>>> + if (is_vla) >>>>> + { >>>>> + /* The temporary address variable for this vla should have been >>>>> + created during gimplification phase. Refer to gimplify_vla_decl >>>>> + for details. */ >>>>> + tree var_decl = (TREE_CODE (var) == SSA_NAME) ? >>>>> + SSA_NAME_VAR (var) : var; >>>>> + gcc_assert (DECL_HAS_VALUE_EXPR_P (var_decl)); >>>>> + gcc_assert (TREE_CODE (DECL_VALUE_EXPR (var_decl)) == >>>>> INDIRECT_REF); >>>>> + /* Get the address of this vla variable. */ >>>>> + vlaaddr = TREE_OPERAND (DECL_VALUE_EXPR (var_decl), 0); >>>>> >>>>> err - isn't the address of the decl represented by the LHS >>>>> regardless whether this is a VLA or not? >>>> >>>> The LHS of the call to .DEFERRED_INIT is the DECL itself whatever it’s a VLA or not. >>>> >>>> In order to create a memset call, we need the Address of this DECL as the first argument. >>>> If the DECL is not a VLA, we just simply apply “build_fold_addr_expr” on this DECL to get its address, >>>> However, for VLA, during gimplification phase “gimplify_vla_decl”, we have already created a temporary >>>> address variable for this DECL, and recorded this address variable with “DECL_VALUE_EXPR(DECL), >>>> We should use this already created address variable for VLAs. >>> >>> So the issue is that the LHS of the .DEFERRED_INIT call is not properly >>> gimplified. We should not have such decl there but I see we do not >>> have IL verification that covers this. >> >> Don’t quite understand here: do you mean all the LHS of .DEFERRED_INIT call are not properly gimplified, or >> Only the LHS of .DEFERRED_INIT call for VLA are not properly gimplified? > > Especially in the VLA case but likely also in general (though unlikely > since usually the receiver of initializations are simple enough). I'd > expect the VLA case end up as > > *ptr_to_decl = .DEFERRED_INIT (...); > > where *ptr_to_decl is the DECL_VALUE_EXPR of the decl. So, for the following small testing case: ==== extern void bar (int); void foo(int n) { int arr[n]; bar (arr[2]); return; } ===== If I compile it with -ftrivial-auto-var-init=zero -fdump-tree-gimple -S -o auto-init-11.s -fdump-rtl-expand, the *.gimple dump is: ===== void foo (int n) { int n.0; sizetype D.1950; bitsizetype D.1951; sizetype D.1952; bitsizetype D.1953; sizetype D.1954; int[0:D.1950] * arr.1; void * saved_stack.2; int arr[0:D.1950] [value-expr: *arr.1]; saved_stack.2 = __builtin_stack_save (); try { n.0 = n; _1 = (long int) n.0; _2 = _1 + -1; _3 = (sizetype) _2; D.1950 = _3; _4 = (sizetype) n.0; _5 = (bitsizetype) _4; _6 = _5 * 32; D.1951 = _6; _7 = (sizetype) n.0; _8 = _7 * 4; D.1952 = _8; _9 = (sizetype) n.0; _10 = (bitsizetype) _9; _11 = _10 * 32; D.1953 = _11; _12 = (sizetype) n.0; _13 = _12 * 4; D.1954 = _13; arr.1 = __builtin_alloca_with_align (D.1954, 32); arr = .DEFERRED_INIT (D.1952, 2, 1); _14 = (*arr.1)[2]; bar (_14); return; } finally { __builtin_stack_restore (saved_stack.2); } } ==== You think that the above .DEFEERED_INIT is not correct? It should be: *arr.1 = .DEFERRED_INIT (D.1952. 2, 1); ? > >> What do you mean by “such” decl? A decl whole “DECL_VALUE_EXPR(DECL)” is valid? > > A 'decl' that has a DECL_VALUE_EXPR should not appear in the IL, it should > always be refered to as its DECL_VALUE_EXPR. Okay. Qing > > Richard. > >> Qing >>> To declare a filtering error, please use the following link : https://www.security-mail.net/reporter.php?mid=3aeb.6112954c.96d85.0&r=marc.poulhies%40kalray.eu&s=gcc-patches-bounces%2Bmarc.poulhies%3Dkalray.eu%40gcc.gnu.org&o=Re%3A+%5Bpatch%5D%5Bversion+6%5D+add+-ftrivial-auto-var-init+and+variable+attribute+%22uninitialized%22+to+gcc&verdict=C&c=ca241e39373f82aaccceb76b5bae87c7715bd9b7 --7BEC4273D21.1628607822/fx308.security-mail.net--