[Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[gscfq@t-online.de]

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

            Bug ID: 106048
           Summary: [10/11/12/13 Regression] ICE in ubsan_encode_value, at
                    ubsan.cc:143 / verify_gimple failed
           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 r7, with and without -fsanitize=undefined :


$ cat z1.f90
program p
   integer :: real
   print *, real(2)
   associate (y => real+real)
      print *, y
   end associate
end


$ cat z2.f90
program p
   integer :: n
   print *, n(2)
   associate (y => n+n)
      print *, y
   end associate
end


$ gfortran-13-20220619 -c z1.f90
/tmp/cc97osCU.s: Assembler messages:
/tmp/cc97osCU.s:35: Error: junk `(intrinsic)_MOD_real' after expression


$ gfortran-13-20220619 -c z1.f90 -fsanitize=undefined
during RTL pass: expand
z1.f90:5:16:

    5 |       print *, y
      |                ^
internal compiler error: in ubsan_encode_value, at ubsan.cc:143
0xcf9ca2 ubsan_encode_value(tree_node*, ubsan_encode_value_phase)
        ../../gcc/ubsan.cc:143
0xcfe316 ubsan_build_overflow_builtin(tree_code, unsigned int, tree_node*,
tree_node*, tree_node*, tree_node**)
        ../../gcc/ubsan.cc:1562
0xa72326 expand_mul_overflow
        ../../gcc/internal-fn.cc:2270
0xa749c6 expand_UBSAN_CHECK_MUL
        ../../gcc/internal-fn.cc:2516
0x8820e7 expand_call_stmt
        ../../gcc/cfgexpand.cc:2737
0x8820e7 expand_gimple_stmt_1
        ../../gcc/cfgexpand.cc:3869
0x8820e7 expand_gimple_stmt
        ../../gcc/cfgexpand.cc:4033
0x887297 expand_gimple_basic_block
        ../../gcc/cfgexpand.cc:6085
0x889d5e execute
        ../../gcc/cfgexpand.cc:6811

---

gcc configured with --enable-checking=yes :

$ gfortran-13-20220619 -c z1.f90
z1.f90:1:9:

    1 | program p
      |         ^
Error: type mismatch in binary expression
integer(kind=4)

integer(kind=4) (*<T62d>) ()

integer(kind=4)

_1 = real * 2;
z1.f90:1:9: internal compiler error: 'verify_gimple' failed
0xed9e9d verify_gimple_in_seq(gimple*)
        ../../gcc/tree-cfg.cc:5217
0xb557b1 gimplify_body(tree_node*, bool)
        ../../gcc/gimplify.cc:16543
0xb55a55 gimplify_function_tree(tree_node*)
        ../../gcc/gimplify.cc:16659
0x964c47 cgraph_node::analyze()
        ../../gcc/cgraphunit.cc:676
0x967ef6 analyze_functions
        ../../gcc/cgraphunit.cc:1241
0x9690cd symbol_table::finalize_compilation_unit()
        ../../gcc/cgraphunit.cc:2501

[Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.4

[Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |pault at gcc dot gnu.org
   Last reconfirmed|                            |2022-06-27
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Likely started with r8-3365-gb89a63b916340ef2.

[Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
                 CC|                            |jakub at gcc dot gnu.org

[Bug fortran/106048] [10/11/12/13/14 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[pault at gcc dot gnu.org]

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

Paul Thomas <pault at gcc dot gnu.org> changed:

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

--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.

Thanks for the report.

Paul

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.

Thanks for the report.

Paul

[Bug fortran/106048] [10/11/12/13/14 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed

[pault at gcc dot gnu.org]

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

Paul Thomas <pault at gcc dot gnu.org> changed:

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

--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.

Thanks for the report.

Paul

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.

Thanks for the report.

Paul