[Bug other/59053] cilkplus branch compiler loops

[Bug other/59053] cilkplus branch compiler loops

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-08
                 CC|                            |bviyer at gmail dot com
   Target Milestone|---                         |4.9.0
     Ever confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
The bug is in

     while (ii_tree)
        {
          if (TREE_CODE (ii_tree) == ARRAY_NOTATION_REF)
            {
              current_rank++;
              ii_tree = ARRAY_NOTATION_ARRAY (ii_tree);
            }
          else if (TREE_CODE (ii_tree) == ARRAY_REF)
            ii_tree = TREE_OPERAND (ii_tree, 0); 
          else if (TREE_CODE (ii_tree) == PARM_DECL
                   || TREE_CODE (ii_tree) == VAR_DECL)
            break;
        }

When TREE_CODE (ii_tree) != ARRAY_NOTATION_REF:

 <indirect_ref 0x7ffff06b0f80
    type <array_type 0x7ffff06327e0
        type <integer_type 0x7ffff09b6930 size_t readonly public unsigned
type_6 DI
            size <integer_cst 0x7ffff18b5140 constant 64>
            unit size <integer_cst 0x7ffff18b5160 constant 8>
            align 64 symtab 0 alias set -1 canonical type 0x7ffff0f9bbd0
precision 64 min <integer_cst 0x7ffff18b5580 0> max <integer_cst 0x7ffff18b5560
18446744073709551615>
            pointer_to_this <pointer_type 0x7ffff0a28000>>
        type_6 BLK
        size <integer_cst 0x7ffff0b21800 constant 2048>
        unit size <integer_cst 0x7ffff0b217e0 constant 256>
        align 64 symtab 0 alias set -1 canonical type 0x7ffff0632690
        domain <integer_type 0x7ffff0f2b150 type <integer_type 0x7ffff18b60a8
sizetype>
            type_6 DI size <integer_cst 0x7ffff18b5140 64> unit size
<integer_cst 0x7ffff18b5160 8>
            align 64 symtab 0 alias set -1 canonical type 0x7ffff0f2b150
precision 64 min <integer_cst 0x7ffff18b5180 0> max <integer_cst 0x7ffff0ed1d60
31>>
        pointer_to_this <pointer_type 0x7ffff0632d20>>
    readonly
    arg 0 <pointer_plus_expr 0x7ffff06b6078
        type <pointer_type 0x7ffff0632d20 type <array_type 0x7ffff06327e0>
            unsigned type_6 DI size <integer_cst 0x7ffff18b5140 64> unit size
<integer_cst 0x7ffff18b5160 8>
            align 64 symtab 0 alias set -1 canonical type 0x7ffff0632b28>

        arg 0 <parm_decl 0x7ffff067dc00 tally type <pointer_type
0x7ffff0632d20>
            used unsigned DI file /j/cilkpub/include/cilkpub/sort.h line 437
col 71 size <integer_cst 0x7ffff18b5140 64> unit size <integer_cst
0x7ffff18b5160 8>
            align 64 context <function_decl 0x7ffff067ca00 repack_and_subsort>
            arg-type <pointer_type 0x7ffff0632d20> chain <parm_decl
0x7ffff067dc80 comp>>
        arg 1 <nop_expr 0x7ffff06b0f60 type <integer_type 0x7ffff18b60a8
sizetype>

            arg 0 <mult_expr 0x7ffff06b6050 type <integer_type 0x7ffff18e3dc8
size_t>
                arg 0 <var_decl 0x7ffff06a7688 i>
                arg 1 <integer_cst 0x7ffff06b0de0 constant 256>>>
        /j/cilkpub/include/cilkpub/sort.h:456:42>
    /j/cilkpub/include/cilkpub/sort.h:456:42>

it turns into an infinite loop.

[Bug other/59053] cilkplus branch compiler loops

[john.forrest at fastercoin dot com]

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

--- Comment #2 from John Forrest <john.forrest at fastercoin dot com> ---
Thanks for your very fast response.  Glad it was easy to reproduce.

John Forrest

[Bug other/59053] cilkplus branch compiler loops

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.0                       |4.9.1

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.0 has been released

[Bug other/59053] cilkplus branch compiler loops

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.1                       |4.9.2

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.1 has been released.

[Bug other/59053] cilkplus branch compiler loops

[nick.tomlinson at arm dot com]

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

Nick Tomlinson <nick.tomlinson at arm dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nick.tomlinson at arm dot com

--- Comment #5 from Nick Tomlinson <nick.tomlinson at arm dot com> ---
Possibly related to: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61962

The reproducer attached to that bug (see below) also enters an infinite loop
(build with g++ -fcilkplus -c arrayinf.cpp):

struct FloatStruct
{
  float *f;
};

/* Either SRC or DST must be a struct, otherwise the bug does not occur.  */
void f (FloatStruct *dst, float *src, unsigned int length)
{
  dst->f[0:length] = src[0:length];
}

[Bug other/59053] cilkplus branch compiler loops

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.2                       |4.9.3

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.2 has been released.

[Bug other/59053] cilkplus branch compiler loops

[jakub at gcc dot gnu.org]

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.3 has been released.

[Bug other/59053] cilkplus branch compiler loops

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.3                       |4.9.4

[Bug other/59053] cilkplus branch compiler loops

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.4                       |---