[Bug fortran/34482] New: FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[Bug fortran/34482] New: FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[danglin at gcc dot gnu dot org]

Executing on host:
/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../gf
ortran -B/home/dave/gnu/gcc-4.3/objdir/gcc/testsuite/gfortran/../../
/home/dave/gnu/gcc-4.3/gcc/gcc/testsuite/gfortran.dg/nan_4.f90   -O  -std=gnu
-S  -o nan_4.s    (timeout = 300)
FAIL: gfortran.dg/nan_4.f90  -O   (test for errors, line 11)
FAIL: gfortran.dg/nan_4.f90  -O   (test for errors, line 13)
FAIL: gfortran.dg/nan_4.f90  -O   (test for errors, line 14)
PASS: gfortran.dg/nan_4.f90  -O  (test for excess errors)

No error messages are generated.


-- 
           Summary: FAIL: gfortran.dg/nan_4.f90  -O tests for errors
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
 GCC build triplet: hppa*-*-*
  GCC host triplet: hppa*-*-*
GCC target triplet: hppa*-*-*


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[burnus at gcc dot gnu dot org]

------- Comment #1 from burnus at gcc dot gnu dot org  2007-12-15 19:01 -------
Hmm, looking at the test suite results, it works on
  i686-pc-linux-gnu, i386-pc-linux-gnu,
  ia64-suse-linux-gnu, x86_64-unknown-linux-gnu,
  arm-unknown-elf, v850-unknown-elf, i686-pc-cygwin,
  hppa2.0w-hp-hpux11.11
but fails on
  hppa-unknown-linux-gnu, hppa64-hp-hpux11.11,
  powerpc-apple-darwin8.5.0, powerpc64-apple-darwin8.11.0,
  m32r-unknown-elf, powerpc64-suse-linux-gnu

I wonder whether this is an endian problem. I am transferring the hexadecimal
constant   z'FFFFFFFF'   bitwise to a 4-byte-wide real variable.

(Actually, I do not care about its value, only about that (a) the value is
transferred bitwise and (b) that if an error is printed for an
overflow/underflow/NaN/+-Inf.)

On the "working" systems the bit pattern is equivalent to NaN, but I do not
know the value is on the failing systems.

Which version of the MPFR library are you using?

Can you compile and run the following program and post the output? 
(If needed, use the option -fno-range-check, but seemingly the option is not
needed as the message is missing.)

print *, real(z'FFFFFFFF')
end


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #2 from dave at hiauly1 dot hia dot nrc dot ca  2007-12-15 19:24 -------
Subject: Re:  FAIL: gfortran.dg/nan_4.f90  -O tests for errors

> Hmm, looking at the test suite results, it works on
>   hppa2.0w-hp-hpux11.11

My last build on hppa2.0w-hp-hpux11.11 was 130926 (i.e., before the
test was added).

> On the "working" systems the bit pattern is equivalent to NaN, but I do not
> know the value is on the failing systems.

The bit pattern is a Signaling NaN on PA-RISC.

> Which version of the MPFR library are you using?

4.3.0

> Can you compile and run the following program and post the output? 
> (If needed, use the option -fno-range-check, but seemingly the option is not
> needed as the message is missing.)
> 
> print *, real(z'FFFFFFFF')
> end

On hppa-unknown-linux-gnu, it prints

dave@hiauly6:~/gnu/gcc-4.3/objdir/gcc$ ./a.out
   0.0000000

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[burnus at gcc dot gnu dot org]

------- Comment #3 from burnus at gcc dot gnu dot org  2007-12-15 20:52 -------
(In reply to comment #2)
> > Which version of the MPFR library are you using?
> 4.3.0

That's the GCC version, the MPFR version should be something like 2.2.x or
2.3.0.

> > print *, real(z'FFFFFFFF')
>
> On hppa-unknown-linux-gnu, it prints 
> dave@hiauly6:~/gnu/gcc-4.3/objdir/gcc$ ./a.out
>    0.0000000

Hmmm. That's strange. Can you try the following program (if needed, use
-fno-range-check):

print *, transfer(4294967295_8, 0.0)
print '(z12)', transfer(real(z'FFFFFFFF'), 1)
print *, transfer(2143289344_8, 0.0)
print '(z12)', transfer(real(z'7FC00000'), 1)
print *, real(z'7FC00000')
END

In principle, I would expect: NaN, FFFFFFFF, NaN, 7FC00000, NaN
At least that's what I get on x86-64 with several compilers.


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |burnus at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-12-15 20:52:39
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[burnus at gcc dot gnu dot org]

------- Comment #4 from burnus at gcc dot gnu dot org  2007-12-15 21:03 -------
As jerry pointed out on IRC, the default integer size could be 8, which
explains the result. Try instead:

  print *, real(z'FFFFFFFF', 4)
  print *, transfer(4294967295_8, 0.0_4)
  print '(z12)', transfer(real(z'FFFFFFFF',4), 1_4)
  print *, transfer(2143289344_8, 0.0_4)
  print '(z12)', transfer(real(z'7FC00000',4), 1_4)
  print *, real(z'7FC00000',4)
END


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #5 from dave at hiauly1 dot hia dot nrc dot ca  2007-12-15 21:51 -------
Subject: Re:  FAIL: gfortran.dg/nan_4.f90  -O tests for errors

> ------- Comment #4 from burnus at gcc dot gnu dot org  2007-12-15 21:03 -------
> As jerry pointed out on IRC, the default integer size could be 8, which
> explains the result. Try instead:
> 
>   print *, real(z'FFFFFFFF', 4)
>   print *, transfer(4294967295_8, 0.0_4)
>   print '(z12)', transfer(real(z'FFFFFFFF',4), 1_4)
>   print *, transfer(2143289344_8, 0.0_4)
>   print '(z12)', transfer(real(z'7FC00000',4), 1_4)
>   print *, real(z'7FC00000',4)
> END

With 4.2.3, the results for the above are:
  4.2949673E+09 0.000000 4F800000 0.000000 4EFF8000 2.1432893E+09

The first version gave:
  0.000000 4F800000 0.000000 4EFF8000 2.1432893E+09

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #6 from dave at hiauly1 dot hia dot nrc dot ca  2007-12-15 22:29 -------
Subject: Re:  FAIL: gfortran.dg/nan_4.f90  -O tests for errors

> That's the GCC version, the MPFR version should be something like 2.2.x or
> 2.3.0.

2.3.0.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #7 from dave at hiauly1 dot hia dot nrc dot ca  2007-12-15 22:29 -------
Subject: Re:  FAIL: gfortran.dg/nan_4.f90  -O tests for errors

> With 4.2.3, the results for the above are:
>   4.2949673E+09 0.000000 4F800000 0.000000 4EFF8000 2.1432893E+09
> 
> The first version gave:
>   0.000000 4F800000 0.000000 4EFF8000 2.1432893E+09

With yesterdays trunk, the results for the second test are:
   0.0000000 0.0000000 0 0.0000000 0 0.0000000

The first version gives:
   0.0000000 0 0.0000000 0 0.0000000

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[jvdelisle at gcc dot gnu dot org]

------- Comment #8 from jvdelisle at gcc dot gnu dot org  2007-12-15 22:34 -------
On ppc64 I get on example of #4:

   0.0000000    
   0.0000000    
           0
   0.0000000    
           0
   0.0000000    


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[jvdelisle at gcc dot gnu dot org]

------- Comment #9 from jvdelisle at gcc dot gnu dot org  2007-12-15 22:37 -------
The dump for nan_4.f90 has:

test ()
{
  static real(kind=4) r = 0.0;
  static integer(kind=4) options.0[7] = {68, 127, 0, 0, 0, 1, 0};

  _gfortran_set_options (7, (void *) &options.0);
  r = 0.0;
... snip ...


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[burnus at gcc dot gnu dot org]

-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|burnus at gcc dot gnu dot   |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[burnus at gcc dot gnu dot org]

------- Comment #10 from burnus at gcc dot gnu dot org  2007-12-17 08:14 -------
Patch: http://gcc.gnu.org/ml/fortran/2007-12/msg00214.html


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #11 from dave at hiauly1 dot hia dot nrc dot ca  2007-12-19 02:14 -------
Subject: Re:  FAIL: gfortran.dg/nan_4.f90  -O tests for errors

> Patch: http://gcc.gnu.org/ml/fortran/2007-12/msg00214.html

Tested second version posted and it fixes the fail on hppa-unknown-linux-gnu.

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[burnus at gcc dot gnu dot org]

------- Comment #12 from burnus at gcc dot gnu dot org  2007-12-20 08:13 -------
Subject: Bug 34482

Author: burnus
Date: Thu Dec 20 08:13:09 2007
New Revision: 131098

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131098
Log:
2007-12-20  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34482
        * gfortran.texi (BOZ): Document behavior for complex
        numbers.
        * target-memory.h (gfc_convert_boz): Update prototype.
        * target-memory.c (gfc_convert_boz): Add error check
        and convert BOZ to smallest possible bit size.
        * resolve.c (resolve_ordinary_assign): Check return value.
        * expr.c (gfc_check_assign): Ditto.
        * simplify.c (simplify_cmplx, gfc_simplify_dble,
        gfc_simplify_float, gfc_simplify_real): Ditto.

2007-12-20  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34482
        * gfortran.dg/boz_8.f90: Add error-check check.
        * gfortran.dg/boz_9.f90: Shorten BOZ where needed, replace
        stop by call abort.


Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/gfortran.texi
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/simplify.c
    trunk/gcc/fortran/target-memory.c
    trunk/gcc/fortran/target-memory.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/boz_8.f90
    trunk/gcc/testsuite/gfortran.dg/boz_9.f90


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[burnus at gcc dot gnu dot org]

------- Comment #13 from burnus at gcc dot gnu dot org  2007-12-20 08:15 -------
FIXED on the trunk (4.3.0) [does not affect 4.2.x or 4.1.x].

Thanks for the report.


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[pinskia at gcc dot gnu dot org]

------- Comment #14 from pinskia at gcc dot gnu dot org  2007-12-20 11:56 -------
Note I also saw this on powerpc-linux-gnu but I have not checked after the
patch.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482

[Bug fortran/34482] FAIL: gfortran.dg/nan_4.f90 -O tests for errors

[jvdelisle at gcc dot gnu dot org]

------- Comment #15 from jvdelisle at gcc dot gnu dot org  2007-12-21 03:00 -------
It works fine on ppc64-linux-gnu


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34482