[Bug fortran/107706] New: ICE in gfc_conv_procedure_call, at fortran/trans-expr.cc:7572

[Bug fortran/107706] New: ICE in gfc_conv_procedure_call, at fortran/trans-expr.cc:7572

[gscfq@t-online.de]

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

            Bug ID: 107706
           Summary: ICE in gfc_conv_procedure_call, at
                    fortran/trans-expr.cc:7572
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r13 between 20220925 and 20221009 :


$ cat z1.f90
integer function f(i)
   implicit none
   integer, value :: i
   !$omp assume holds(i < g())
   block
   end block
   f = 3
contains
   function g()
      integer :: g(2)
      g = 4
   end
end


$ gfortran-13-20221106 -c z1.f90 -fopenmp
z1.f90:4:30:

    4 |    !$omp assume holds(i < g())
      |                              1
internal compiler error: in gfc_conv_procedure_call, at
fortran/trans-expr.cc:7572
0x8b373b gfc_conv_procedure_call(gfc_se*, gfc_symbol*, gfc_actual_arglist*,
gfc_expr*, vec<tree_node*, va_gc, vl_embed>*)
        ../../gcc/fortran/trans-expr.cc:7572
0x8a506a gfc_conv_expr(gfc_se*, gfc_expr*)
        ../../gcc/fortran/trans-expr.cc:9452
0x8a5462 gfc_conv_expr_op
        ../../gcc/fortran/trans-expr.cc:3903
0x8a5462 gfc_conv_expr(gfc_se*, gfc_expr*)
        ../../gcc/fortran/trans-expr.cc:9448
0x8e8aad gfc_trans_omp_assume
        ../../gcc/fortran/trans-openmp.cc:4588
0x8e8aad gfc_trans_omp_directive(gfc_code*)
        ../../gcc/fortran/trans-openmp.cc:7532
0x873e17 trans_code
        ../../gcc/fortran/trans.cc:2245
0x89d4ce gfc_generate_function_code(gfc_namespace*)
        ../../gcc/fortran/trans-decl.cc:7659
0x81f57e translate_all_program_units
        ../../gcc/fortran/parse.cc:6696
0x81f57e gfc_parse_file()
        ../../gcc/fortran/parse.cc:7002
0x86ccbf gfc_be_parse_file
        ../../gcc/fortran/f95-lang.cc:229

[Bug fortran/107706] [13 Regression] ICE in gfc_conv_procedure_call, at fortran/trans-expr.cc:7572 since r13-3136-g50c35c691517291d

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-11-21
                 CC|                            |burnus at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
            Summary|ICE in                      |[13 Regression] ICE in
                   |gfc_conv_procedure_call, at |gfc_conv_procedure_call, at
                   |fortran/trans-expr.cc:7572  |fortran/trans-expr.cc:7572
                   |                            |since
                   |                            |r13-3136-g50c35c691517291d

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r13-3136-g50c35c691517291d.

[Bug fortran/107706] [13 Regression] ICE in gfc_conv_procedure_call, at fortran/trans-expr.cc:7572 since r13-3136-g50c35c691517291d

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Tobias Burnus <burnus@gcc.gnu.org>:

https://gcc.gnu.org/g:2ce55247a8bf32985a96ed63a7a92d36746723dc

commit r13-5118-g2ce55247a8bf32985a96ed63a7a92d36746723dc
Author: Tobias Burnus <tobias@codesourcery.com>
Date:   Thu Jan 12 11:43:37 2023 +0100

    Fortran/OpenMP: Reject non-scalar 'holds' expr in 'omp assume(s)'
[PR107706]

    gcc/fortran/ChangeLog:

            PR fortran/107706
            * openmp.cc (gfc_resolve_omp_assumptions): Reject nonscalars.

    gcc/testsuite/ChangeLog:

            PR fortran/107706
            * gfortran.dg/gomp/assume-2.f90: Update dg-error.
            * gfortran.dg/gomp/assumes-2.f90: Likewise.
            * gfortran.dg/gomp/assume-5.f90: New test.

[Bug fortran/107706] [13 Regression] ICE in gfc_conv_procedure_call, at fortran/trans-expr.cc:7572 since r13-3136-g50c35c691517291d

[burnus at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> ---
FIXED.  Thanks for the report!