From 71d9d31c98b3f9cc12cbb3a5a3b297429d588bdb Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Mon, 27 Apr 2020 16:28:15 -0400 Subject: [PATCH 080/179] FIXME: mark test as passing --- gcc/testsuite/gcc.dg/analyzer/data-model-8.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-8.c b/gcc/testsuite/gcc.dg/analyzer/data-model-8.c index 939b4c275d8..3e69d0f8aa5 100644 --- a/gcc/testsuite/gcc.dg/analyzer/data-model-8.c +++ b/gcc/testsuite/gcc.dg/analyzer/data-model-8.c @@ -21,6 +21,5 @@ void test (void) struct base *bp = (struct base *)&s; - __analyzer_eval (bp->i == 3); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */ - /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-1 } */ + __analyzer_eval (bp->i == 3); /* { dg-warning "TRUE" } */ } -- 2.21.0