[Bug fortran/54370] New: error: non-trivial conversion in unary operation

[Bug fortran/54370] New: error: non-trivial conversion in unary operation

[chilikin.k at gmail dot com]

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

             Bug #: 54370
           Summary: error: non-trivial conversion in unary operation
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: chilikin.k@gmail.com


The following:

      MODULE M
      CONTAINS

      LOGICAL(C_BOOL) FUNCTION L() BIND(C)
      USE, INTRINSIC :: ISO_C_BINDING
      L = .FALSE.
      END FUNCTION

      SUBROUTINE S()
      DO WHILE (L())
      ENDDO
      END

      END

(also in attached file)

Results in:

$ gfortran -c test.f08 
test.f08: In function 's':                                                      
test.f08:10:0: error: non-trivial conversion in unary operation                 
logical(kind=4)                                                                 
logical(kind=1)
D.1858 = ~D.1857;

test.f08:10: confused by earlier errors, bailing out

With compiler:

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/opt/gcc-4.7.0/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ./configure --prefix=/opt/gcc-4.7.0/
Thread model: posix
gcc version 4.7.0 (GCC) 

The same error appears in version 4.7.1.

Compilation works in version 4.6.3 without any errors.

[Bug fortran/54370] error: non-trivial conversion in unary operation

[chilikin.k at gmail dot com]

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

--- Comment #1 from Kirill Chilikin <chilikin.k at gmail dot com> 2012-08-24 21:51:19 UTC ---
Created attachment 28080
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28080
testcase

[Bug fortran/54370] error: non-trivial conversion in unary operation

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-08-25 07:43:51 UTC ---
Untested patch:
--- a/gcc/fortran/trans-stmt.c
+++ b/gcc/fortran/trans-stmt.c
@@ -1787,3 +1787,3 @@ gfc_trans_do_while (gfc_code * code)
   cond.expr = fold_build1_loc (code->expr1->where.lb->location,
-                              TRUTH_NOT_EXPR, boolean_type_node, cond.expr);
+                              TRUTH_NOT_EXPR, TREE_TYPE (cond.expr),
cond.expr);

[Bug fortran/54370] error: non-trivial conversion in unary operation

[burnus at gcc dot gnu.org]

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

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-08-27 12:03:45 UTC ---
Author: burnus
Date: Mon Aug 27 12:03:41 2012
New Revision: 190709

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190709
Log:
2012-08-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54370
        * trans-stmt.c (gfc_trans_do_while): Don't change the logical
        kind for negation of the condition.

2012-08-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54370
        * gfortran.dg/do_5.f90: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/do_5.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-stmt.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/54370] [4.7 Regression] error: non-trivial conversion in unary operation

[burnus at gcc dot gnu.org]

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

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Author: burnus
Date: Thu Jun  6 16:45:04 2013
New Revision: 199746

URL: http://gcc.gnu.org/viewcvs?rev=199746&root=gcc&view=rev
Log:
2013-06-06  Tobias Burnus  <burnus@net-b.de>

        Backport from mainline
        2012-08-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54370
        * trans-stmt.c (gfc_trans_do_while): Don't change the logical
        kind for negation of the condition.

2013-06-06  Tobias Burnus  <burnus@net-b.de>

        Backport from mainline
        2012-08-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54370
        * gfortran.dg/do_5.f90: New.


Added:
    branches/gcc-4_7-branch/gcc/testsuite/gfortran.dg/do_5.f90
Modified:
    branches/gcc-4_7-branch/gcc/fortran/ChangeLog
    branches/gcc-4_7-branch/gcc/fortran/trans-stmt.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug fortran/54370] [4.7/4.8 Regression] error: non-trivial conversion in unary operation

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
      Known to work|                            |4.6.3
         Resolution|---                         |FIXED
            Summary|[4.7 Regression] error:     |[4.7/4.8 Regression] error:
                   |non-trivial conversion in   |non-trivial conversion in
                   |unary operation             |unary operation

--- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> ---
FIXED on the GCC 4.8 trunk (and hence also working on GCC 4.9).
And belated FIXED on the 4.7 branch.

Thanks for the report!