[Bug fortran/67541] -Wconversion-extra no warning on double = double + single

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67541

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2015-09-10
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
With 5.2 I get

pr67541.f90:6:17:

         double = 4.0_sp    ! -Wconversion-extra: Warning: Conversion from 
                 1
Warning: Conversion from 'REAL(4)' to 'REAL(8)' at (1) [-Wconversion-extra]
pr67541.f90:8:17:

         double = single    ! -Wconversion-extra: Warning: Conversion from 
                 1
Warning: Conversion from REAL(4) to REAL(8) at (1) [-Wconversion-extra]
pr67541.f90:10:17:

         single = double    ! -Wconversion: Warning: Possible change of 
                 1
Warning: Possible change of value in conversion from REAL(8) to REAL(4) at (1)
[-Wconversion]
pr67541.f90:15:17:

         single = double + single  ! -Wconversion: Warning: Possible change
                 1
Warning: Possible change of value in conversion from REAL(8) to REAL(4) at (1)
[-Wconversion]

With trunk (6.0) I get

pr67541.f90:15:32:

         single = double + single  ! -Wconversion: Warning: Possible change
                                1
Warning: Conversion from REAL(4) to REAL(8) at (1) [-Wconversion-extra]
pr67541.f90:23:32:

         double = double + single
                                1
Warning: Conversion from REAL(4) to REAL(8) at (1) [-Wconversion-extra]
pr67541.f90:6:17:

         double = 4.0_sp    ! -Wconversion-extra: Warning: Conversion from 
                 1
Warning: Conversion from 'REAL(4)' to 'REAL(8)' at (1) [-Wconversion-extra]
pr67541.f90:8:17:

         double = single    ! -Wconversion-extra: Warning: Conversion from 
                 1
Warning: Conversion from REAL(4) to REAL(8) at (1) [-Wconversion-extra]
pr67541.f90:10:17:

         single = double    ! -Wconversion: Warning: Possible change of 
                 1
Warning: Possible change of value in conversion from REAL(8) to REAL(4) at (1)
[-Wconversion]
pr67541.f90:15:17:

         single = double + single  ! -Wconversion: Warning: Possible change
                 1
Warning: Possible change of value in conversion from REAL(8) to REAL(4) at (1)
[-Wconversion]
pr67541.f90:22:17:

         single = 7.0_dp 
                 1
Warning: Conversion from 'REAL(8)' to 'REAL(4)' at (1) [-Wconversion-extra]

IMO warnings for

        double = single

        double = 4.0_sp

and

        double = double + single

does not make sense.