diff options
| author | Zack Weinberg <zack@gcc.gnu.org> | 2000-03-13 17:41:35 +0000 |
|---|---|---|
| committer | Zack Weinberg <zack@gcc.gnu.org> | 2000-03-13 17:41:35 +0000 |
| commit | a8c73de3a431495e9dcf281cd5f04f69add09bcb (patch) | |
| tree | 46926ede535c7cd7dd6b3aa6d78fb568dc2946da /gcc | |
| parent | e6c1be7e7fb2cb562672a006d893617654bb3ed7 (diff) | |
| download | gcc-a8c73de3a431495e9dcf281cd5f04f69add09bcb.zip gcc-a8c73de3a431495e9dcf281cd5f04f69add09bcb.tar.gz gcc-a8c73de3a431495e9dcf281cd5f04f69add09bcb.tar.bz2 | |
New test; for ia32 codegen bug.
Reported by Daniel Lauer <daniel@informatik.uni-bonn.de>
From-SVN: r32509
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20000313-1.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/20000313-1.c b/gcc/testsuite/gcc.c-torture/execute/20000313-1.c new file mode 100644 index 0000000..5c9a556 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20000313-1.c @@ -0,0 +1,20 @@ +unsigned int buggy (unsigned int *param) +{ + unsigned int accu, zero = 0, borrow; + accu = - *param; + borrow = - (accu > zero); + *param += accu; + return borrow; +} + +int main (void) +{ + unsigned int param = 1; + unsigned int borrow = buggy (¶m); + + if (param != 0) + abort (); + if (borrow + 1 != 0) + abort (); + return 0; +} |