From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rep.dot.nop@gmail.com>
Received: from mail-wr1-x434.google.com (mail-wr1-x434.google.com
 [IPv6:2a00:1450:4864:20::434])
 by sourceware.org (Postfix) with ESMTPS id 79C323858C27
 for <gcc-patches@gcc.gnu.org>; Tue, 26 Oct 2021 12:25:04 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 79C323858C27
Received: by mail-wr1-x434.google.com with SMTP id d13so16400205wrf.11
 for <gcc-patches@gcc.gnu.org>; Tue, 26 Oct 2021 05:25:04 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:date:from:to:cc:subject:message-id:in-reply-to
 :references:mime-version:content-transfer-encoding;
 bh=p14tZhkEXTAqZ8rFZcwvC2PYiOzQvE9yIcFILjPRPR4=;
 b=Y5ouLNOFKdPh2hN5HV1LH5NkwKJaWdnF8S8AtQeQOZaG2tOLsUBj/bCedcqNSBXdh5
 2R59HpdAIXVLd70B+5Ub8ZVXKsSjP/GIQ78T6dztimL/NM6kzUivN384Kjc92kaJcCdM
 M5elSi0tdyHllQDMApPpGWM6TLRTbbhHITgBO+HNMBc7W3UO1AE8Ry9Vd7JF1RyccAHw
 gH5wrMDYnnXbxqgj7MXE7PwGodgG1zsU3zRBZKPGbovSD66st6y7fsOnWZeQA3zln1GC
 y8euIT+Dq6sAU4CP+CefdsXC5xi+w6HSqSx1iZfJjtiJeS9k9vcgcrRpRDm3eN3juDIm
 IBXA==
X-Gm-Message-State: AOAM530PtA8bD4vJnwFHYgNcQiNffzCVYvTxhZXBn/des7t8ALKtFYN7
 Masak7MHqdRAnHwhiqIRbpA=
X-Google-Smtp-Source: ABdhPJxC8EabM/IrP8xyZbCUfxaBkXrzbyQMhQogfxzVarJ1hPAZaj3qEVgdsl7u6F9LJxXBTBe48Q==
X-Received: by 2002:adf:80cd:: with SMTP id 71mr30774699wrl.429.1635251103504; 
 Tue, 26 Oct 2021 05:25:03 -0700 (PDT)
Received: from nbbrfq (dynamic-2bq7di4u2lfl4qjka9-pd01.res.v6.highway.a1.net.
 [2001:871:227:33a8:f6a3:c58c:7641:e771])
 by smtp.gmail.com with ESMTPSA id p1sm486800wmq.23.2021.10.26.05.25.03
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Tue, 26 Oct 2021 05:25:03 -0700 (PDT)
Date: Tue, 26 Oct 2021 14:25:00 +0200
From: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>
To: Richard Biener <rguenther@suse.de>
Cc: rep.dot.nop@gmail.com, Richard Biener via Gcc-patches
 <gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH] Move negative stride bias out of dr_misalignment
Message-ID: <20211026142500.627275f9@nbbrfq>
In-Reply-To: <qrqppqpr-ns17-4s20-95so-s9o87sn4n8os@fhfr.qr>
References: <24qs317-4090-n6n6-1o2n-40r52no5313n@fhfr.qr>
 <5916DAE9-2B77-4AA7-9676-BA2A8538A219@gmail.com>
 <qrqppqpr-ns17-4s20-95so-s9o87sn4n8os@fhfr.qr>
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.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 <gcc-patches.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 26 Oct 2021 12:25:05 -0000

On Tue, 26 Oct 2021 14:10:05 +0200 (CEST)
Richard Biener <rguenther@suse.de> wrote:

> I agree in general, where I would diagnose this is when we build the
> CFG I would diagnose unreachable blocks - the above does not have
> any path to the second *poffset store.  Like with the prototype patch
> below we warn for
> 
> int *p;
> int foo()
> {
>   return 0;
>   *p = 0;
> }

mhm. I thought we have -Wunreachable-code but it seems that's gone
thanks,