From 570ddd1ec42fb30b7466b13581145bb90b550e93 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Sat, 25 Jul 2020 11:44:02 -0400 Subject: [PATCH 331/377] FIXME: XFAIL casts-1.c --- gcc/testsuite/gcc.dg/analyzer/casts-1.c | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/gcc/testsuite/gcc.dg/analyzer/casts-1.c b/gcc/testsuite/gcc.dg/analyzer/casts-1.c index d453303124a..956801648ef 100644 --- a/gcc/testsuite/gcc.dg/analyzer/casts-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/casts-1.c @@ -38,10 +38,14 @@ void test_2 () __analyzer_eval (x.arr[2] == 'C'); /* { dg-warning "TRUE" } */ __analyzer_eval (x.arr[3] == 'D'); /* { dg-warning "TRUE" } */ struct s1 *p = (struct s1 *)&x; - __analyzer_eval (p->a == 'A'); /* { dg-warning "TRUE" } */ - __analyzer_eval (p->b == 'B'); /* { dg-warning "TRUE" } */ - __analyzer_eval (p->c == 'C'); /* { dg-warning "TRUE" } */ - __analyzer_eval (p->d == 'D'); /* { dg-warning "TRUE" } */ + __analyzer_eval (p->a == 'A'); /* { dg-warning "TRUE" "true" { xfail *-*-* } } */ + /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */ + __analyzer_eval (p->b == 'B'); /* { dg-warning "TRUE" "true" { xfail *-*-* } } */ + /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */ + __analyzer_eval (p->c == 'C'); /* { dg-warning "TRUE" "true" { xfail *-*-* } } */ + /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */ + __analyzer_eval (p->d == 'D'); /* { dg-warning "TRUE" "true" { xfail *-*-* } } */ + /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */ /* FIXME: the above fails ("UNKNOWN"); get_store_value gets STRING_CST from the default binding for x and makes a sub_svalue2 for the field access, but the child_region is: -- 2.26.2