From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x436.google.com (mail-wr1-x436.google.com [IPv6:2a00:1450:4864:20::436]) by sourceware.org (Postfix) with ESMTPS id 78D0C3858C55 for ; Thu, 13 Oct 2022 22:53:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 78D0C3858C55 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wr1-x436.google.com with SMTP id j7so5032087wrr.3 for ; Thu, 13 Oct 2022 15:53:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Szx1LU9qMON1nFDAzI3V6Sy47QLWwMN36ngW72aTaoo=; b=XsVqVUdSedWroY+rV455d2rweLYfayCtB79Etfw3e04o2Djzuki9Bi2SvxYdgtrQC/ Q7Q+YX88jmlk2WzpMEI20gumiA5nldd9/9pJLSeNjoPcIOuZwUa2vJ6Abjxz8LujaGTi gTSdI/OOxB5TmKtcM7L6A+uV0j63MlzsxpMlrTlgdQvUQmoTORJqd0uVugst8+tyz1r4 Zzk1ylpoGRFymOBiN74AETpOdvDm6TWXM2TDRCEotEQDnwpCmAYq8GIgGl7j8jScy/N+ fM98TULmduuH0TVxh/bJMl3iXExeVXr8PbswlJt8JVS/QGp5aVTTdnBgRY292/e+xkcb VCaw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Szx1LU9qMON1nFDAzI3V6Sy47QLWwMN36ngW72aTaoo=; b=xRa8l9c3u3W2wfN+nBzGxPlqAxHHa8OwapEVRkseXfxSKVuMBTfKtRz10Pk62LqtrE SXGolmqT7QC5lnbIQyYWaBaggw+rrQ5jDDxFclRSxDqwenwPrm9vDSNe0aQIyvCnHmdo 35icUsugzifvOfXjd1TjGD15/Fkz+n9yjhM9NAvV8trs/hz4IIHnVMT/627HezF0CtfW zD6Mk2g/PuZExG9zHLABlTAmdYusmT0WPlgJoVclgVtyu17eQq+TjdDBm2L0eUgzhTh+ FtcPMr/5RXJIWdftrm73RXknaFd6M0Ne2vH4ybK9kp+FXqax3vqfdPeaONQ5aoEpwC63 5oGw== X-Gm-Message-State: ACrzQf2YPXRD5ZevWYKsjfUQlexhsz2XFJW3qlgzl4dcmKf5OPE9hEmp i+bXsum6HV4aWQbmX7QTkiba3g== X-Google-Smtp-Source: AMsMyM6uGRQ+79fGJQK9mq0uCoF1cQBaYC9OmcyxeyxYQZe1LG6EJCF1dXhHVTeIR61kfsjglKjKKw== X-Received: by 2002:adf:a459:0:b0:22e:3725:ba17 with SMTP id e25-20020adfa459000000b0022e3725ba17mr1408421wra.110.1665701618877; Thu, 13 Oct 2022 15:53:38 -0700 (PDT) Received: from fomalhaut.localnet ([2a01:e0a:8d5:d990:e654:e8ff:fe8f:2ce6]) by smtp.gmail.com with ESMTPSA id i18-20020a5d4392000000b0022afe4fb459sm585634wrq.51.2022.10.13.15.53.37 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 13 Oct 2022 15:53:38 -0700 (PDT) From: Eric Botcazou X-Google-Original-From: Eric Botcazou To: Jeff Law Cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH] Fix bogus -Wstringop-overflow warning Date: Fri, 14 Oct 2022 00:53:37 +0200 Message-ID: <1908968.PYKUYFuaPT@fomalhaut> In-Reply-To: References: <3194055.aeNJFYEL58@fomalhaut> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" X-Spam-Status: No, score=-4.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: > Not a fan as it could potentially hide a real issue, but I don't really > have a better solution. Thanks. > I pondered suggesting "access" affect type identity, but the cases where > that's really important are probably better handled by the "fn spec" > attribute, leaving "access" strictly impacting diagnostics. I can expand a bit here, because I tried to change the "access" attribute that way and this badly breaks the C compiler, for example: int foo (int n, char m[1][n]); int foo (int n, char m[1][n]) {} no longer compiles with an error about different function types. -- Eric Botcazou