diff options
| author | Kaveh R. Ghazi <ghazi@caip.rutgers.edu> | 2000-04-08 04:17:59 +0000 |
|---|---|---|
| committer | Kaveh Ghazi <ghazi@gcc.gnu.org> | 2000-04-08 04:17:59 +0000 |
| commit | 4ddf4d7b814ee1138262464b2e9fc1a7905a68ac (patch) | |
| tree | a1ade09a7f91fca297e5787fe7c9edda46228dd6 | |
| parent | 65232ce9152e7299f6d7195d8953cfb8f0acd1fb (diff) | |
| download | gcc-4ddf4d7b814ee1138262464b2e9fc1a7905a68ac.zip gcc-4ddf4d7b814ee1138262464b2e9fc1a7905a68ac.tar.gz gcc-4ddf4d7b814ee1138262464b2e9fc1a7905a68ac.tar.bz2 | |
* gcc.dg/compare2.c: New test.
From-SVN: r33016
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/compare2.c | 58 |
2 files changed, 62 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 80ebb88..f31f1af 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-04-08 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> + + * gcc.dg/compare2.c: New test. + 2000-04-08 Neil Booth <NeilB@earthling.net> * gcc.dg/cpp-nullchar.c: New test. diff --git a/gcc/testsuite/gcc.dg/compare2.c b/gcc/testsuite/gcc.dg/compare2.c new file mode 100644 index 0000000..0625eb9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/compare2.c @@ -0,0 +1,58 @@ +/* Test for a bogus warning on comparison between signed and unsigned. + This was inspired by code in gcc. */ + +/* { dg-do compile } */ +/* { dg-options "-Wsign-compare" } */ + +int tf = 1; + +void f(int x, unsigned int y) +{ + /* ?: branches are constants. */ + x > (tf?64:128); /* { dg-bogus "signed and unsigned" "case 1" } */ + y > (tf?64:128); /* { dg-bogus "signed and unsigned" "case 2" } */ + + /* ?: branches are (recursively) constants. */ + x > (tf?64:(tf?128:256)); /* { dg-bogus "signed and unsigned" "case 3" } */ + y > (tf?64:(tf?128:256)); /* { dg-bogus "signed and unsigned" "case 4" } */ + + /* ?: branches are signed constants. */ + x > (tf?64:-1); /* { dg-bogus "signed and unsigned" "case 5" } */ + y > (tf?64:-1); /* { dg-warning "signed and unsigned" "case 6" } */ + + /* ?: branches are (recursively) signed constants. */ + x > (tf?64:(tf?128:-1)); /* { dg-bogus "signed and unsigned" "case 7" } */ + y > (tf?64:(tf?128:-1)); /* { dg-warning "signed and unsigned" "case 8" } */ + + /* Statement expression. */ + x > ({tf; 64;}); /* { dg-bogus "signed and unsigned" "case 9" } */ + y > ({tf; 64;}); /* { dg-bogus "signed and unsigned" "case 10" } */ + + /* Statement expression with recursive ?: . */ + x > ({tf; tf?64:(tf?128:256);}); /* { dg-bogus "signed and unsigned" "case 11" } */ + y > ({tf; tf?64:(tf?128:256);}); /* { dg-bogus "signed and unsigned" "case 12" } */ + + /* Statement expression with signed ?:. */ + x > ({tf; tf?64:-1;}); /* { dg-bogus "signed and unsigned" "case 13" } */ + y > ({tf; tf?64:-1;}); /* { dg-warning "signed and unsigned" "case 14" } */ + + /* Statement expression with recursive signed ?:. */ + x > ({tf; tf?64:(tf?128:-1);}); /* { dg-bogus "signed and unsigned" "case 15" } */ + y > ({tf; tf?64:(tf?128:-1);}); /* { dg-warning "signed and unsigned" "case 16" } */ + + /* ?: branches are constants. */ + tf ? x : (tf?64:32); /* { dg-bogus "conditional expression" "case 17" } */ + tf ? y : (tf?64:32); /* { dg-bogus "conditional expression" "case 18" } */ + + /* ?: branches are signed constants. */ + tf ? x : (tf?64:-1); /* { dg-bogus "conditional expression" "case 19" } */ + tf ? y : (tf?64:-1); /* { dg-warning "conditional expression" "case 20" } */ + + /* ?: branches are (recursively) constants. */ + tf ? x : (tf?64:(tf?128:256)); /* { dg-bogus "conditional expression" "case 21" } */ + tf ? y : (tf?64:(tf?128:256)); /* { dg-bogus "conditional expression" "case 22" } */ + + /* ?: branches are (recursively) signed constants. */ + tf ? x : (tf?64:(tf?128:-1)); /* { dg-bogus "conditional expression" "case 23" } */ + tf ? y : (tf?64:(tf?128:-1)); /* { dg-warning "conditional expression" "case 24" } */ +} |