From 8ed26714b4a4cb72deb0123a592a8e9981d5fa92 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 22 May 2020 13:14:38 -0400 Subject: [PATCH 177/315] FIXME: add casts-2.c --- gcc/testsuite/gcc.dg/analyzer/casts-2.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/analyzer/casts-2.c diff --git a/gcc/testsuite/gcc.dg/analyzer/casts-2.c b/gcc/testsuite/gcc.dg/analyzer/casts-2.c new file mode 100644 index 00000000000..3eef71726ba --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/casts-2.c @@ -0,0 +1,15 @@ +#include "analyzer-decls.h" + +void test_1 (int i) +{ + char c1 = i; + char c2 = i; + __analyzer_eval (c1 == i); /* { dg-warning "UNKNOWN" } */ + __analyzer_eval (c1 == c2); /* { dg-warning "TRUE" } */ +} + +void test_2 (char c) +{ + int i = c; + __analyzer_eval (i == c); /* { dg-warning "TRUE" } */ +} -- 2.26.2