diff options
| author | Jeffrey A Law <law@cygnus.com> | 1999-02-11 00:15:54 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 1999-02-10 17:15:54 -0700 |
| commit | 3e6ccc1153fbfbe7294dfbd6f277dd9df3629cc8 (patch) | |
| tree | 79993225ce8cf49a712a22b622d4e5c59decafd3 /gcc | |
| parent | d7b3ea38e00728301f3a99d19338ade660181cf2 (diff) | |
| download | gcc-3e6ccc1153fbfbe7294dfbd6f277dd9df3629cc8.zip gcc-3e6ccc1153fbfbe7294dfbd6f277dd9df3629cc8.tar.gz gcc-3e6ccc1153fbfbe7294dfbd6f277dd9df3629cc8.tar.bz2 | |
* gcc.c-torture/execute/990211-1.c: New test from Nathan SIdwell.
From-SVN: r25149
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/990211-1.c | 61 |
2 files changed, 65 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 657079b..05cda76 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +Thu Feb 11 01:12:12 1999 Jeffrey A Law (law@cygnus.com) + + * gcc.c-torture/execute/990211-1.c: New test from Nathan SIdwell. + Wed Feb 10 13:08:12 1999 Jonathan Larmour <jlarmour@cygnus.co.uk> * gcc.dg/special/ecos.exp: New test driver for new tests with diff --git a/gcc/testsuite/gcc.c-torture/execute/990211-1.c b/gcc/testsuite/gcc.c-torture/execute/990211-1.c new file mode 100644 index 0000000..e2fe7ee --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/990211-1.c @@ -0,0 +1,61 @@ +/* Copyright (C) 1999 Free Software Foundation, Inc. + Contributed by Nathan Sidwell 20 Jan 1999 <nathan@acm.org> */ + +/* check range combining boolean operations work */ + +extern void abort(); + +#define N 77 + +void func(int i) +{ + /* fold-const does some clever things with range tests. Make sure + we get (some of) them right */ + + /* these must fail, regardless of the value of i */ + if ((i < 0) && (i >= 0)) + abort(); + if ((i > 0) && (i <= 0)) + abort(); + if ((i >= 0) && (i < 0)) + abort(); + if ((i <= 0) && (i > 0)) + abort(); + + if ((i < N) && (i >= N)) + abort(); + if ((i > N) && (i <= N)) + abort(); + if ((i >= N) && (i < N)) + abort(); + if ((i <= N) && (i > N)) + abort(); + + /* these must pass, regardless of the value of i */ + if (! ((i < 0) || (i >= 0))) + abort(); + if (! ((i > 0) || (i <= 0))) + abort(); + if (! ((i >= 0) || (i < 0))) + abort(); + if (! ((i <= 0) || (i > 0))) + abort(); + + if (! ((i < N) || (i >= N))) + abort(); + if (! ((i > N) || (i <= N))) + abort(); + if (! ((i >= N) || (i < N))) + abort(); + if (! ((i <= N) || (i > N))) + abort(); + + return; +} + +int main() +{ + func(0); + func(1); + return 0; +} |