From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ot1-x334.google.com (mail-ot1-x334.google.com [IPv6:2607:f8b0:4864:20::334]) by sourceware.org (Postfix) with ESMTPS id 2BC4C3857C5F for ; Tue, 20 Jul 2021 00:01:37 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 2BC4C3857C5F Received: by mail-ot1-x334.google.com with SMTP id 59-20020a9d0ac10000b0290462f0ab0800so19972594otq.11 for ; Mon, 19 Jul 2021 17:01:37 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:from:to:references:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=mqktNxuo45Q/sttEIKtWdGD9Bh9BpB1nsYcxthJ5BIE=; b=M/13ZZ20rFRQdkGoK/jzcZ8tuNJqPAFA/v/f3Yo248kCzaDYYweAqT31ih5iI2Plz8 K5bHt7IuKc08fd9OpBFkmvbmX9iVVyvHYHvSr0uEg7tYXGTf14w1M8Kew0m27PLlDr56 rrj00/MCD6EkAOfIAYEIMt30Z4YubTWV0VxUHgPeoYctVJC6SD9ZFFnYDsnOahPLzywJ +H0cWnACaclQj0R5Fk5pPyJJZb+0mQXRITc78D+LhdxC2VJiPhj6rd/5VSJIDjXEDZf+ oaeUZGqozGPVTryEBegRxrlL6JIl8ZZaHbf9vLgRdrf4jpK9g6ennjeB/oMMEgo5aSr0 rvIA== X-Gm-Message-State: AOAM5315NjC4rQtyQ0jdJ1oX3DMft1lRlCp+uFHYl7gM2weSPurc+Vb4 uZsaC0flQCuAsdy4aaORKXylXmwHoIc= X-Google-Smtp-Source: ABdhPJzQorsQx/+RSOpm4gD/MLZSbwgAB1lxAFO9plnKvySro5yKAicEyy4VV0OewQK7tBeZbK7DEg== X-Received: by 2002:a05:6830:447:: with SMTP id d7mr19996814otc.253.1626739296460; Mon, 19 Jul 2021 17:01:36 -0700 (PDT) Received: from [192.168.0.41] (75-166-102-22.hlrn.qwest.net. [75.166.102.22]) by smtp.gmail.com with ESMTPSA id a44sm3652129ooj.12.2021.07.19.17.01.35 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 19 Jul 2021 17:01:36 -0700 (PDT) Subject: PING 2 [PATCH] handle sanitizer built-ins in -Wuninitialized (PR 101300) From: Martin Sebor To: gcc-patches References: <44fabafb-9174-1739-9818-53122ef499f9@gmail.com> <91a95754-2cf6-59d5-d066-6de738f125ab@gmail.com> Message-ID: <6e0b508f-fd8b-5057-706a-bb2e45d96598@gmail.com> Date: Mon, 19 Jul 2021 18:01:35 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2 MIME-Version: 1.0 In-Reply-To: <91a95754-2cf6-59d5-d066-6de738f125ab@gmail.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-4.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, KAM_SHORT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, 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-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, 20 Jul 2021 00:01:38 -0000 Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574385.html On 7/12/21 12:06 PM, Martin Sebor wrote: > Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574385.html > > On 7/2/21 1:21 PM, Martin Sebor wrote: >> To avoid a class of false negatives for sanitized code >> -Wuninitialized recognizes the ASAN_MARK internal function >> doesn't modify its argument.  But the warning code doesn't do >> the same for any sanitizer built-ins even though they don't >> modify user-supplied arguments either.  This leaves another >> class of false negatives unresolved. >> >> The attached fix enhances the warning logic to recognize all >> sanitizer built-ins as well and treat them as non-modifying. >> >> Tested on x86_64-linux. >> >> Martin >