From mboxrd@z Thu Jan 1 00:00:00 1970 From: Luc Van Oostenryck Subject: [PATCH v2 01/10] add testcase for bad killing of dominated stores Date: Tue, 13 Feb 2018 22:58:03 +0100 Message-ID: <20180213215812.18735-2-luc.vanoostenryck@gmail.com> References: <20180213215812.18735-1-luc.vanoostenryck@gmail.com> Return-path: Received: from mail-wm0-f65.google.com ([74.125.82.65]:37831 "EHLO mail-wm0-f65.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S965900AbeBMWAV (ORCPT ); Tue, 13 Feb 2018 17:00:21 -0500 Received: by mail-wm0-f65.google.com with SMTP id v71so18611830wmv.2 for ; Tue, 13 Feb 2018 14:00:20 -0800 (PST) In-Reply-To: <20180213215812.18735-1-luc.vanoostenryck@gmail.com> Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Signed-off-by: Luc Van Oostenryck --- validation/optim/store-dominated.c | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 validation/optim/store-dominated.c diff --git a/validation/optim/store-dominated.c b/validation/optim/store-dominated.c new file mode 100644 index 000000000..f1e2e6f29 --- /dev/null +++ b/validation/optim/store-dominated.c @@ -0,0 +1,16 @@ +static int a[]; + +static void foo(void) +{ + int *c = &a[1]; + *c = *c = 0; +} + +/* + * check-name: store-dominated + * check-command: test-linearize $file + * check-known-to-fail + * + * check-output-ignore + * check-output-excludes: add\. + */ -- 2.16.0