[Bug fortran/52093] New: Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[Bug fortran/52093] New: Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[m.rahmani at aut dot ac.ir]

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

             Bug #: 52093
           Summary: Extra parenthesis with Size and Shape functions
                    argument cause internal compiler error: Segmentation
                    fault
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: m.rahmani@aut.ac.ir


When you use extra parenthesis with size and shape argument, Fortran compiler
encounters the internal compiler error: Segmentation fault.

Test Case:
!--------------------------------------
 Program Main
 Implicit None
 Integer:: X(2,2)


 print*, size((X))
 !or
 Print*, Shape((X))

End Program Main
!--------------------------------------

Compiling the above test case produces the following error:

>>gfortran -c Testcase.f90   -fimplicit-none
 f951.exe: internal compiler error: Segmentation fault
 Please submit a full bug report,
 with preprocessed source if appropriate.
 See <http://gcc.gnu.org/bugs.html> for instructions.


By removing the extra parenthesis error goes away!!
i.e the following code works fine:

      print*, size(X)
      !or
      Print*, Shape(X)

[Bug fortran/52093] [4.6/4.7 Regression] Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-02-02
            Summary|Extra parenthesis with Size |[4.6/4.7 Regression] Extra
                   |and Shape functions         |parenthesis with Size and
                   |argument cause internal     |Shape functions argument
                   |compiler error:             |cause internal compiler
                   |Segmentation fault          |error: Segmentation fault
     Ever Confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-02-02 08:16:42 UTC ---
Revision 162456 (2010-07-23) is OK,
revision 164728 (2010-09-29) gives the ICE.

[Bug fortran/52093] [4.6/4.7 Regression] Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[burnus at gcc dot gnu.org]

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

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

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

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-02-02 08:28:27 UTC ---
For me (on 4.7), SHAPE and LBOUND work, only SIZE and UBOUND cause an ICE.

The segfault happens for SIZE and UBOUND at:

 Invalid read of size 4
    at 0x5383E0: gfc_simplify_size (simplify.c:5553)

(When patching, remember that UBOUND((X)) and UBOUND(X) are different, it the
lower bound of X is not 1.)


Untested patch:

--- a/gcc/fortran/simplify.c
+++ b/gcc/fortran/simplify.c
@@ -5543,2 +5543,3 @@ gfc_simplify_size (gfc_expr *array, gfc_expr *dim,
gfc_expr *kind)
          case INTRINSIC_UMINUS:
+         case INTRINSIC_PARENTHESES:
            replacement = array->value.op.op1;

[Bug fortran/52093] [4.6/4.7 Regression] Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[jakub at gcc dot gnu.org]

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

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

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

[Bug fortran/52093] [4.6/4.7 Regression] Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[burnus at gcc dot gnu.org]

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

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-02-02 21:01:41 UTC ---
Author: burnus
Date: Thu Feb  2 21:01:34 2012
New Revision: 183848

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

        PR fortran/52093
        * simplify.c (gfc_simplify_size): Handle INTRINSIC_PARENTHESES.

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

        PR fortran/52093
        * gfortran.dg/shape_7.f90: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/shape_7.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/simplify.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/52093] [4.6/4.7 Regression] Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[burnus at gcc dot gnu.org]

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

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-02-03 20:37:40 UTC ---
Author: burnus
Date: Fri Feb  3 20:37:36 2012
New Revision: 183877

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

        PR fortran/52093
        * simplify.c (gfc_simplify_size): Handle INTRINSIC_PARENTHESES.

2012-02-03  Tobias Burnus  <burnus@net-b.de>

        PR fortran/52093
        * gfortran.dg/shape_7.f90: New.


Added:
    branches/gcc-4_6-branch/gcc/testsuite/gfortran.dg/shape_7.f90
Modified:
    branches/gcc-4_6-branch/gcc/fortran/ChangeLog
    branches/gcc-4_6-branch/gcc/fortran/simplify.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug fortran/52093] [4.6/4.7 Regression] Extra parenthesis with Size and Shape functions argument cause internal compiler error: Segmentation fault

[burnus at gcc dot gnu.org]

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

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

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

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-02-03 21:53:46 UTC ---
FIXED on the trunk (4.7) and on the 4.6 branch.

Thanks for the report!