From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x530.google.com (mail-ed1-x530.google.com [IPv6:2a00:1450:4864:20::530]) by sourceware.org (Postfix) with ESMTPS id A92923858D33; Wed, 1 Mar 2023 21:59:05 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org A92923858D33 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-ed1-x530.google.com with SMTP id h16so59848440edz.10; Wed, 01 Mar 2023 13:59:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:subject:cc:to:from:date:from:to:cc:subject:date :message-id:reply-to; bh=ZmleHDOQKIeTlM8U96AHxb+z0tUfi0a7vLf6ZrtlC24=; b=UoIe5DhnyI1ZENxdulmS45rXl3GcVWrJ0U/KrTZtRZRy3S+VUhF6AlMQSBGs4KYXqN GdSkW7YFVgnOQwO3dk9I97WQFvTtu4DcaMOsq5FyrAoCkr4q7FCNIe5qULI4U90mOXcC n/lcAc9q8M9d6aUoqozNWy3JyndcGkkZAn02iNUd/S6D+13Qa+OjNuok/GalGqGssMsx jA96FNlQPbX2QhfvO9x6v8HOVLF5SJbJ8FGAfRwr9M685xhua3nPlM4ZmpjPMzm/8pdq ST/4NYIWmNqdGcc8lgar8t2+nQWQYqFUEQiaRX3bi8FbVeyIv0FlLwBheg+a6jC8hd6w owlA== 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:subject:cc:to:from:date:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=ZmleHDOQKIeTlM8U96AHxb+z0tUfi0a7vLf6ZrtlC24=; b=EzrAit7PtyMAGwsRyJZkG4dSxu9JUr2wYieMdK2qCVdnYQf1pVm7h23MupxrGynSHp Z6otREW7C2DYeTSGj2g5rDwsEnWgk44FD1qXez+XD2gbMS6g3IuqqHxYYGQ4YJ1DHOxu JHEMBHWwvEgxgGsP8Gwv39M+SyGBN6KzuaWxbpLQCxsZmafSQ4UoEV3sIq22bSqGkPyg KeUTgp01CUnXpISyENT1SBAthgTbHcsVbqQ2X01Nn7AQDk/aHjh5EBu7nXDvZpJFLE4F BTlfMGOeL0NhyR1f15nSzs/ZOLtdcrgd4V29thoCXSsrb2xt3Isulk94SGXaDgCvjppm ogvA== X-Gm-Message-State: AO0yUKXoVNXUFKqK6KZL6W7Siup6ckINrUWj0eice5oef8zTsERcuzRb VircjIPSVgC7v2AzPmFkFm8= X-Google-Smtp-Source: AK7set/AxH2eN5TgIycGPWvBZLIyAq9Wr2+jB7e5D6PRXlwolLUvipLKsCbdh3l9Xzq5G8LL/qLByg== X-Received: by 2002:a17:906:7084:b0:8b1:3009:536b with SMTP id b4-20020a170906708400b008b13009536bmr7903658ejk.29.1677707944035; Wed, 01 Mar 2023 13:59:04 -0800 (PST) Received: from nbbrfq (80-110-214-113.static.upcbusiness.at. [80.110.214.113]) by smtp.gmail.com with ESMTPSA id j24-20020a508a98000000b004acde0a1ae5sm6131282edj.89.2023.03.01.13.59.03 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 01 Mar 2023 13:59:03 -0800 (PST) Date: Wed, 1 Mar 2023 22:58:59 +0100 From: Bernhard Reutner-Fischer To: gcc-patches@gcc.gnu.org Cc: rep.dot.nop@gmail.com, ian@airs.com, charlet@adacore.com, fortran@gcc.gnu.org Subject: Re: [PATCH][stage1] Remove conditionals around free() Message-ID: <20230301225859.37ce4646@nbbrfq> In-Reply-To: <20230301222856.12300c64@nbbrfq> References: <20230301222856.12300c64@nbbrfq> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,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: On Wed, 1 Mar 2023 22:28:56 +0100 Bernhard Reutner-Fischer wrote: > Remarks: > 1) We should do this in if-conversion (?) on our own. > I suppose. Independently of -fdelete-null-pointer-checks and iff we can prove that ptr was NULL when passed to free(ptr) then we can elide the call, of course. Likewise for realloc(ptr, 0), obviously. [or reallocarray -- yikes -- if nmemb == 0 || size == 0] But that would probably be a ranger call in DCE, i guess. Didn't look. thanks,