diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-02-09 01:01:01 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-02-09 01:01:01 +0000 |
| commit | dbc785046dff5269520644add977cb716c2e5ceb (patch) | |
| tree | 54b6713ff1538a7352f26ef099670b41ba9ec2a3 /tests/teint.c | |
| parent | 235729c8c5d24bc9bdf220c71655ea843e7ed870 (diff) | |
| download | mpfr-dbc785046dff5269520644add977cb716c2e5ceb.tar.gz | |
[tests/teint.c] Added a test that triggers a runtime error
at si_op.c:42:31 on an x86-64 Linux machine, using:
CFLAGS="-fsanitize=undefined -fno-sanitize-recover"
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9997 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tests/teint.c')
| -rw-r--r-- | tests/teint.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/teint.c b/tests/teint.c index 8f4927229..aa8d513a3 100644 --- a/tests/teint.c +++ b/tests/teint.c @@ -171,6 +171,13 @@ check_specials (void) exit (1); } + /* Runtime error at si_op.c:42:31 with r9996 on an x86-64 Linux machine, + using CFLAGS="-fsanitize=undefined -fno-sanitize-recover". */ + mpfr_set_prec (x, 32); + mpfr_set_prec (y, 46); + mpfr_set_si_2exp (x, -1, -1, MPFR_RNDN); + mpfr_eint (y, x, MPFR_RNDN); + mpfr_clear (x); mpfr_clear (y); } |