From 83a2bed5f0a6dbfb835ef64ea42fca3bfddb7559 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Mon, 27 Apr 2020 17:09:29 -0400 Subject: [PATCH 082/179] FIXME: mark test as passing --- gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c index 729f8b12577..5b869536513 100644 --- a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c @@ -466,13 +466,7 @@ void test_23 (struct foo *f, struct foo *g) i = f->i + g->i; j = f->i + g->i; k = f->i * g->i; - __analyzer_eval (i == j); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */ - /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-1 } */ - /* TODO(xfail): we'd need to record that the two unknown values are both - the sum of the two unknown input values (and thus are the same); not - yet sure if we want arbitrary expression trees in the representation - (analysis termination concerns). */ - + __analyzer_eval (i == j); /* { dg-warning "TRUE" } */ __analyzer_eval (i == k); /* { dg-warning "UNKNOWN" } */ } -- 2.21.0