From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x334.google.com (mail-wm1-x334.google.com [IPv6:2a00:1450:4864:20::334]) by sourceware.org (Postfix) with ESMTPS id 3230E385800A for ; Tue, 13 Feb 2024 15:20:01 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3230E385800A Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 3230E385800A Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::334 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1707837603; cv=none; b=eHJ8TbvgxrGVB5PnENYGujWLgtLd2h4cVgD832BoVtegHLJ4D961GlaDvvnoggOx3XVWMpBJrqriHr8jZZZ9rugh+hlj4nstkrwNycBNj6UXORyQOAE+rpo29MNBDhTFKRVwUF8tneVW5UyWgSz55Lt37Zc1TSItPdUNV5zjXZ0= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1707837603; c=relaxed/simple; bh=DEKR6fYNK1kmxRnb4+tTuQGELUptHXP+bdEKlRXxT68=; h=DKIM-Signature:Message-ID:Date:MIME-Version:Subject:To:From; b=ibe3ndr53cSdBImOJh8axW4yWdxjMfmnupBii6I6pM3dkOY1GAcmFiAEKbDx8LPiwuUpMiK8rvYxuuuBTSo5qDqswptKBcJ+3lIw5nNo3jp/uzO54cuvOkudX6Lz6zgFpEdm0utIFLo0/xp5G9jkjrGpD7qBqRf6MbD0dXMTDhI= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wm1-x334.google.com with SMTP id 5b1f17b1804b1-411c779ab2dso4407375e9.0 for ; Tue, 13 Feb 2024 07:20:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707837600; x=1708442400; darn=sourceware.org; h=in-reply-to:from:content-language:references:cc:to:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=h5DwEFVtIM+q50192mvjCZ+0VCmJeDKv2CGs2K/xgNQ=; b=Qz6W5eWpp7o0KeFYfWrHK0wN4Og0rnAmCYS7JeIIyoW3AygGGGOsmqSDJJIA7xQyLh /L9hMnPYIfzYHTrz/rwW6Qye9o6jekCaRGDxkux9HAmYMZBoOkt5I3iFz/pFGpfCAFgO +x/RYIYaJVtZwCbhhQt77CECp/S9MpAz2rj7dqoHvndLyrXxrVQJpN4EqJyGjujQuCSE u5A5Uk0CtoyLn0l7RryQjMY4ODp5lYpOU8ZJHyHEahE2n38yOM/TGdKgkbfOjJnaVZwK 7tjZZPpm1aeiN/cHAyprgzrGIA9vMnqEoU8pT5FrNmIGN86yn1hcpxWyaepN4uFlspDp 40QA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707837600; x=1708442400; h=in-reply-to:from:content-language:references:cc:to:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=h5DwEFVtIM+q50192mvjCZ+0VCmJeDKv2CGs2K/xgNQ=; b=hW7u+rVviTCqCqn2EOEh1G719MWIiTrfQuM8Wk6Sh2g+No6qWSDx3t8k15RzvzA2yc gB7URgjOc2H7DRGTi6jj29jtHEQsYxCDm1U96HnZmOBLC015Hfxg05ae3RwNC4PgPXZ5 YxVMmItBfCB5DUf5miXIr4u10ZUV837ncCnBf7cvKsqCov9ufjqSdRykurIq3J+Q4JVL DRabD5oBDYfwNdiJ3vnZoYCNtsITDAJTKQ9p/Su2HI+rFLdBOCW9kYNhEdmt3i6wDftn RWE1uo56D8G3rizhx/35uyqgSwDb/JklCZ7p0bjA1rHEDAs+cJtqtsXie8zgCP3CIKcu FVbA== X-Forwarded-Encrypted: i=1; AJvYcCVXr62WnKS2gb013dGuzdOFyuqcqu3jk9dqI85XSIyOuq5N2uzDk3KSAcdxw4X4jbpfOPYr1JbRYRiRuIVwQfiStuzRbNj1EET4 X-Gm-Message-State: AOJu0YyalQCsk1WpVoIXEw5Vez2URZoPewNoZmTVpqe3xdzywYaJZg7I vO4JKLoBAiZTz2OmwbIz1/zRcDUZRJUHKydzEppoNqUMSYqfBmga X-Google-Smtp-Source: AGHT+IGoi94sqm/Rhlu/ClgsA/XV2F3wak9+f8rpcA5EtfRA44haJMrYpQNp4bCeqUJRv+EYqETPNQ== X-Received: by 2002:a5d:668e:0:b0:33c:e065:76c2 with SMTP id l14-20020a5d668e000000b0033ce06576c2mr973260wru.46.1707837599657; Tue, 13 Feb 2024 07:19:59 -0800 (PST) X-Forwarded-Encrypted: i=1; AJvYcCXf6OeMESXL01ijrGfW5f82fiwXbnBqj+OgzcGwGJcKNUuE4Tlnrs/hTot9M1xJora7ntCpM7kxVcs/U97v9kfWZiI8s0EXAUY8aUNB3PKpBRYjD6yNVg+3nYvMeJXJFnLyijtCErrWEcLCCvSGK4J4hG1DfUX4MIiiqimAyy/b2TITG5GM4SWcHNLtXOFRH8lHHpDX2XMJp839ImDdHA15xEJG2Y7ObFtl8dI= Received: from [10.96.0.14] ([146.70.48.4]) by smtp.gmail.com with ESMTPSA id h16-20020a05600c351000b00410e6a6403esm5396252wmq.34.2024.02.13.07.19.58 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 13 Feb 2024 07:19:59 -0800 (PST) Content-Type: multipart/alternative; boundary="------------CoIQx7y9TA0x0Wh7hQqU0kn5" Message-ID: Date: Tue, 13 Feb 2024 15:19:57 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH] Use [[gnu::access(none)]] on free(3) To: =?UTF-8?Q?Cristian_Rodr=C3=ADguez?= , Paul Eggert Cc: Alejandro Colomar , libc-alpha@sourceware.org, =?UTF-8?Q?Arsen_Arsenovi=C4=87?= , Andreas Schwab , Xi Ruoyao , Russ Allbery References: <20240126183847.12939-2-alx@kernel.org> Content-Language: en-US From: Gabriel Ravier In-Reply-To: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: This is a multi-part message in MIME format. --------------CoIQx7y9TA0x0Wh7hQqU0kn5 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit On 1/27/24 13:21, Cristian Rodríguez wrote: > > > On Fri, Jan 26, 2024 at 6:24 PM Paul Eggert wrote: > > On 2024-01-26 10:41, Alejandro Colomar wrote: > > Please do not apply.  Xi pointed out that GCC uses some magic > that would > > break with the attribute. > > Plus, I'm not seeing the point of either this patch or the earlier > one. > 'free' is built into the language, and GCC therefore can deduce > anything > about 'free' that an attribute would supply. (If glibc made promises > about 'free' that extend the C standard, that might justify adding an > attribute, but this does not appear to be the case here.) > > > As there is __builtin_malloc I guess there could be a __builtin_free > which knows all these details..how useful would that be is a different > story. From what I can see, __builtin_free already exists. --------------CoIQx7y9TA0x0Wh7hQqU0kn5--