diff options
| author | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-03-22 23:04:24 +0000 |
|---|---|---|
| committer | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-03-22 23:04:24 +0000 |
| commit | 64214dabd303be6b1134238ee99d05be78e83ff8 (patch) | |
| tree | 72ccc17238a98a5218797e0019368cff25e58e57 /gcc/testsuite/gcc.dg/float-range-3.c | |
| parent | f2c255d4fa65514614d673a9e440dbe2b92b60b7 (diff) | |
| download | gcc-64214dabd303be6b1134238ee99d05be78e83ff8.tar.gz | |
2007-03-22 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR other/23572
* c-lex.c (interpret_float): On overflow, emit pedantic warning if
infinities not supported, otherwise emit warning if -Woverflow. On
underflow, emit warning if -Woverflow.
* real.c (real_from_string): Return -1 if underflow, +1 if overflow
and 0 otherwise.
* real.h (real_from_string): Update declaration
testsuite/
* gcc.dg/float-range-4.c: New.
* gcc.dg/float-range-1.c: Update. Test for a warning.
* gcc.dg/float-range-3.c: New.
* gcc.dg/float-range-5.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123137 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gcc.dg/float-range-3.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/float-range-3.c | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/float-range-3.c b/gcc/testsuite/gcc.dg/float-range-3.c new file mode 100644 index 00000000000..c737d8a9724 --- /dev/null +++ b/gcc/testsuite/gcc.dg/float-range-3.c @@ -0,0 +1,38 @@ +/* PR 23572 : warnings for out of range floating-point constants. */ +/* { dg-compile } */ +/* { dg-options "-std=c99" } */ +#include <math.h> + +void overflow(void) +{ + float f1 = 3.5E+38f; /* { dg-warning "warning: floating constant exceeds range" } */ + float f2 = -3.5E+38f; /* { dg-warning "warning: floating constant exceeds range" } */ + float f3 = FP_INFINITE; + float f4 = -FP_INFINITE; + + double d1 = 1.9E+308; /* { dg-warning "warning: floating constant exceeds range" } */ + double d2 = -1.9E+308; /* { dg-warning "warning: floating constant exceeds range" } */ + double d3 = FP_INFINITE; + double d4 = -FP_INFINITE; +} + +void underflow(void) +{ + float f11 = 3.3E-10000000000000000000f; /* { dg-warning "warning: floating constant truncated to zero" } */ + float f22 = -3.3E-10000000000000000000f; /* { dg-warning "warning: floating constant truncated to zero" } */ + float f1 = 3.3E-46f; /* { dg-warning "warning: floating constant truncated to zero" } */ + float f2 = -3.3E-46f; /* { dg-warning "warning: floating constant truncated to zero" } */ + float f3 = 0; + float f4 = -0; + float f5 = 0.0; + float f6 = -0.0; + + double d11 = 3.3E-10000000000000000000; /* { dg-warning "warning: floating constant truncated to zero" } */ + double d22 = -3.3E-10000000000000000000; /* { dg-warning "warning: floating constant truncated to zero" } */ + double d1 = 1.4E-325; /* { dg-warning "warning: floating constant truncated to zero" } */ + double d2 = -1.4E-325; /* { dg-warning "warning: floating constant truncated to zero" } */ + double d3 = 0; + double d4 = -0; + double d5 = 0.0; + double d6 = -0.0; +} |