[Bug tree-optimization/55238] New: ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[Bug tree-optimization/55238] New: ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[rmansfield at qnx dot com]

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

             Bug #: 55238
           Summary: ICE in find_aggregate_values_for_callers_subset, at
                    ipa-cp.c:2908 building zlib
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rmansfield@qnx.com
                CC: jamborm@gcc.gnu.org


Created attachment 28634
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28634
preprocessed src

$ ./xgcc -B. -O3 ~/ice.i
/home/ryan/ice.i:15:11: error: unknown type name ‘gz_statep’
 gz_reset (gz_statep state)
           ^
ryan@zoidberg:~/gnu/gcc/trunk/tmp/gcc$ ./xgcc -B. -O3 ~/ice.i
/home/ryan/ice.i:42:1: internal compiler error: in
find_aggregate_values_for_callers_subset, at ipa-cp.c:2908
 }
 ^
0xd01072 find_aggregate_values_for_callers_subset
    ../../gcc/ipa-cp.c:2908
0xd01072 decide_about_value
    ../../gcc/ipa-cp.c:3255
0xd01072 decide_about_value
    ../../gcc/ipa-cp.c:3195
0xd02acb decide_whether_version_node
    ../../gcc/ipa-cp.c:3301
0xd02acb ipcp_decision_stage
    ../../gcc/ipa-cp.c:3441
0xd02acb ipcp_driver
    ../../gcc/ipa-cp.c:3483
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug tree-optimization/55238] ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-11-08
         AssignedTo|unassigned at gcc dot       |jamborm at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Martin Jambor <jamborm at gcc dot gnu.org> 2012-11-08 15:01:27 UTC ---
Confirmed and mine.

[Bug tree-optimization/55238] ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[jamborm at gcc dot gnu.org]

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

--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> 2012-11-08 17:33:11 UTC ---
Created attachment 28637
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28637
Untested patch

This is the fix I am currently bootstrapping and testing.

[Bug tree-optimization/55238] ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[Joost.VandeVondele at mat dot ethz.ch]

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

Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Joost.VandeVondele at mat
                   |                            |dot ethz.ch

--- Comment #3 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2012-11-08 19:27:22 UTC ---
gfortran -O3 also aborts on this testcase at the same location

MODULE dbcsr_dist_operations
  TYPE dbcsr_type
    LOGICAL :: symmetry
  END TYPE
CONTAINS
  SUBROUTINE get_stored_coordinates_type(matrix,&
          transpose, processor)
    TYPE(dbcsr_type), INTENT(IN)             :: matrix
    LOGICAL, INTENT(INOUT)                   :: transpose
    INTEGER, INTENT(OUT), OPTIONAL           :: processor
    LOGICAL :: checker_tr
    IF (PRESENT (processor)) THEN
       IF (matrix%symmetry .AND. checker_tr()) THEN
          processor = dbcsr_distribution_processor ()
       ENDIF
    ENDIF
  END SUBROUTINE get_stored_coordinates_type
  SUBROUTINE get_block_index_type(matrix, transpose)
    TYPE(dbcsr_type), INTENT(IN)             :: matrix
    LOGICAL, INTENT(OUT)                     :: transpose
    transpose = .FALSE.
    CALL get_stored_coordinates_type (matrix, transpose)
  END SUBROUTINE get_block_index_type
END MODULE dbcsr_dist_operations

[Bug tree-optimization/55238] ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2012-11/msg00714.htm
                   |                            |l

--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> 2012-11-08 23:03:16 UTC ---
I have submitted the patch to the mailing list:

http://gcc.gnu.org/ml/gcc-patches/2012-11/msg00714.html

[Bug tree-optimization/55238] ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[hubicka at gcc dot gnu.org]

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

--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> 2012-11-11 19:35:31 UTC ---
Author: hubicka
Date: Sun Nov 11 19:35:27 2012
New Revision: 193410

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193410
Log:
    PR tree-optimization/55238
    * ipa-cp.c (agg_pass_through_permissible_p): New function.
    (propagate_aggs_accross_jump_function): Use it.
    (find_aggregate_values_for_callers_subset): Likewise and relax an
    assert.

    * testsuite/gcc.dg/torture/pr55238.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr55238.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-cp.c
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/55238] ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org
         Resolution|                            |FIXED

--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-11-11 20:50:50 UTC ---
Applied.

[Bug tree-optimization/55238] [4.8 Regression] ICE in find_aggregate_values_for_callers_subset, at ipa-cp.c:2908 building zlib

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu.org
   Target Milestone|---                         |4.8.0
            Summary|ICE in                      |[4.8 Regression] ICE in
                   |find_aggregate_values_for_c |find_aggregate_values_for_c
                   |allers_subset, at           |allers_subset, at
                   |ipa-cp.c:2908 building zlib |ipa-cp.c:2908 building zlib