[Bug fortran/47886] New: ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[Bug fortran/47886] New: ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[longb at cray dot com]

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

           Summary: ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)
           Product: gcc
           Version: 4.5.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: longb@cray.com


Test code:

!  derived from OpenMP test OMP3f/F03_2_7_1d.F90
program F03_2_7_1d
   use omp_lib
   implicit none
   integer, parameter :: NT = 4
   integer :: sum = 0

   call omp_set_num_threads(NT); 

   !$omp parallel
   !$omp task if(omp_get_num_threads() > 0)
   !$omp atomic
      sum = sum + 1
   !$omp end task
   !$omp end parallel
   if (sum /= NT) then
      print *, "FAIL - sum == ", sum, " (expected ", NT, ")"
      stop 1;
   end if
end program F03_2_7_1d


> gfortran -fopenmp test.f90
test.f90: In function 'f03_2_7_1d':
test.f90:11:0: internal compiler error: in gfc_conv_expr_op, at
fortran/trans-expr.c:1368
Please submit a full bug report,


> gfortran -v
Using built-in specs.
COLLECT_GCC=/opt/gcc/4.5.2/bin/../snos/bin/gfortran
COLLECT_LTO_WRAPPER=/opt/gcc/4.5.2/snos/libexec/gcc/x86_64-suse-linux/4.5.2/lto-wrapper
Target: x86_64-suse-linux

Same code fine with ifort:

> ifort -openmp test.f90
> ./a.out
>

[Bug fortran/47886] ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[burnus at gcc dot gnu.org]

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

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

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-02-24 22:09:26 UTC ---
The failing line is seemingly (exr->value.op.op == INTRINSIC_GT):

   !$omp task if(omp_get_num_threads() > 0)

Failing assert is:
  gcc_assert (expr->value.op.op1->ts.type == expr->value.op.op2->ts.type);

op2 is as expected BT_INTEGER (EXPR_CONSTANT) while op1 is BT_UNKNOWN
(EXPR_FUNCTION, omp_get_num_threads)

[Bug fortran/47886] ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[burnus at gcc dot gnu.org]

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

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-02-26 19:36:44 UTC ---
Author: burnus
Date: Sat Feb 26 19:36:41 2011
New Revision: 170521

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170521
Log:
2011-02-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/47886
        * openmp.c (gfc_resolve_omp_directive): Resolve if()
        condition of OpenMP's task.

2011-02-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/47886
        * gfortran.dg/gomp/task-1.f90: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/gomp/task-1.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/openmp.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/47886] ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[hjl.tools at gmail dot com]

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

--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> 2011-02-26 21:33:09 UTC ---
The new testcase failed with

spawn -ignore SIGHUP
/export/gnu/import/svn/gcc-test-ia32corei7/bld/gcc/testsuite/gfortran/../../gfortran
-B/export/gnu/import/svn/gcc-test-ia32corei7/bld/gcc/testsuite/gfortran/../../
-B/export/gnu/import/svn/gcc-test-ia32corei7/bld/i686-linux/./libgfortran/
/export/gnu/import/svn/gcc-test-ia32corei7/src-trunk/gcc/testsuite/gfortran.dg/gomp/task-1.f90
-O -fopenmp -S -o task-1.s^M
/export/gnu/import/svn/gcc-test-ia32corei7/src-trunk/gcc/testsuite/gfortran.dg/gomp/task-1.f90:10.14:^M
^M
   use omp_lib^M
              1^M
Fatal Error: Can't open module file 'omp_lib.mod' for reading at (1): No such
file or directory^M
compiler exited with status 1

[Bug fortran/47886] ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-02-27 12:05:40 UTC ---
Author: jakub
Date: Sun Feb 27 12:05:36 2011
New Revision: 170535

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170535
Log:
    PR fortran/47886
    * gfortran.dg/gomp/task-1.f90: Removed.

    * testsuite/libgomp.fortran/task3.f90: New test.

Added:
    trunk/libgomp/testsuite/libgomp.fortran/task3.f90
      - copied, changed from r170534,
trunk/gcc/testsuite/gfortran.dg/gomp/task-1.f90
Removed:
    trunk/gcc/testsuite/gfortran.dg/gomp/task-1.f90
Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/libgomp/ChangeLog

[Bug fortran/47886] ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[burnus at gcc dot gnu.org]

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

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-02-27 14:30:04 UTC ---
Author: burnus
Date: Sun Feb 27 14:29:59 2011
New Revision: 170541

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

        Backport from mainline
        2011-02-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/47886
        * openmp.c (gfc_resolve_omp_directive): Resolve if()
        condition of OpenMP's task.

2011-01-27  Tobias Burnus  <burnus@net-b.de>

        Backport from mainline
        2011-02-27  Jakub Jelinek  <jakub@redhat.com>

        PR fortran/47886
        * testsuite/libgomp.fortran/task3.f90: New test.


Added:
    branches/gcc-4_5-branch/libgomp/testsuite/libgomp.fortran/task3.f90
Modified:
    branches/gcc-4_5-branch/gcc/fortran/ChangeLog
    branches/gcc-4_5-branch/gcc/fortran/openmp.c
    branches/gcc-4_5-branch/libgomp/ChangeLog

[Bug fortran/47886] ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[burnus at gcc dot gnu.org]

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

--- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-02-27 14:36:56 UTC ---
Author: burnus
Date: Sun Feb 27 14:36:53 2011
New Revision: 170542

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

        Backport from mainline
        2011-02-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/47886
        * openmp.c (gfc_resolve_omp_directive): Resolve if()
        condition of OpenMP's task.

2011-01-27  Tobias Burnus  <burnus@net-b.de>

        Backport from mainline
        2011-02-27  Jakub Jelinek  <jakub@redhat.com>

        PR fortran/47886
        * testsuite/libgomp.fortran/task3.f90: New test.


Added:
    branches/gcc-4_4-branch/libgomp/testsuite/libgomp.fortran/task3.f90
Modified:
    branches/gcc-4_4-branch/gcc/fortran/ChangeLog
    branches/gcc-4_4-branch/gcc/fortran/openmp.c
    branches/gcc-4_4-branch/libgomp/ChangeLog

[Bug fortran/47886] ICE: OpenMP !$omp task if(omp_get_num_threads() > 0)

[burnus at gcc dot gnu.org]

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

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

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

--- Comment #7 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-02-27 16:30:01 UTC ---
FIXED on 4.4, 4.5 and on the 4.6 trunk.

Thanks for the report!