[Bug c++/48075] New: [trans-mem] infinite loop when compiling

[Bug c++/48075] New: [trans-mem] infinite loop when compiling

[patrick.marlier at gmail dot com]

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

           Summary: [trans-mem] infinite loop when compiling
           Product: gcc
           Version: trans-mem
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: patrick.marlier@gmail.com
                CC: rth@gcc.gnu.org, aldyh@gcc.gnu.org


Created attachment 23632
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23632
infinite calls testcase.

An infinite loop happens with the attached testcase.
Maybe not related to trans-mem specifically...

Here the backtrace:

#10225 0x000000000050b680 in instantiate_class_template (type=0x7ffff6b20e70)
at ../../transactional-memory/gcc/cp/pt.c:7965
#10226 0x00000000005740b7 in complete_type (type=0x7ffff6b20e70) at
../../transactional-memory/gcc/cp/typeck.c:130
#10227 0x00000000004de334 in tsubst_decl (t=0x7ffff6bd31e0,
args=0x7ffff6b1f090, complain=3)
    at ../../transactional-memory/gcc/cp/pt.c:9533
#10228 0x00000000004e96d0 in tsubst (t=0x7ffff6bd31e0, args=0x7ffff6b1f090,
complain=3, in_decl=0x0)
    at ../../transactional-memory/gcc/cp/pt.c:9912
#10229 0x000000000050b680 in instantiate_class_template (type=0x7ffff6b200a8)
at ../../transactional-memory/gcc/cp/pt.c:7965
#10230 0x00000000005740b7 in complete_type (type=0x7ffff6b200a8) at
../../transactional-memory/gcc/cp/typeck.c:130
#10231 0x00000000004de334 in tsubst_decl (t=0x7ffff6bd31e0,
args=0x7ffff6b1c4b0, complain=3)
    at ../../transactional-memory/gcc/cp/pt.c:9533
#10232 0x00000000004e96d0 in tsubst (t=0x7ffff6bd31e0, args=0x7ffff6b1c4b0,
complain=3, in_decl=0x0)
    at ../../transactional-memory/gcc/cp/pt.c:9912
#10233 0x000000000050b680 in instantiate_class_template (type=0x7ffff6b1b2a0)
at ../../transactional-memory/gcc/cp/pt.c:7965
#10234 0x00000000005740b7 in complete_type (type=0x7ffff6b1b2a0) at
../../transactional-memory/gcc/cp/typeck.c:130
#10235 0x00000000004de334 in tsubst_decl (t=0x7ffff6bd31e0,
args=0x7ffff6b198d0, complain=3)
    at ../../transactional-memory/gcc/cp/pt.c:9533
#10236 0x00000000004e96d0 in tsubst (t=0x7ffff6bd31e0, args=0x7ffff6b198d0,
complain=3, in_decl=0x0)
    at ../../transactional-memory/gcc/cp/pt.c:9912
...

Patrick Marlier.

[Bug c++/48075] [trans-mem] infinite loop when compiling

[rth at gcc dot gnu.org]

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

--- Comment #1 from Richard Henderson <rth at gcc dot gnu.org> 2011-03-12 22:03:29 UTC ---
It is not TM related.  If you remove the TM constructs, the test case
still crashes with stack overflow in mainline.  Of course, there are
a number of errors produced beforehand, which puts this as an 
ice-on-illegal test, which would be lower priority.

Can you reduce this test case again without the errors?

[Bug c++/48075] [trans-mem] infinite loop when compiling

[patrick.marlier at gmail dot com]

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

--- Comment #2 from Patrick Marlier <patrick.marlier at gmail dot com> 2011-03-31 07:26:24 UTC ---
Created attachment 23833
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23833
same testcase but with errors removed

(In reply to comment #1)
> Can you reduce this test case again without the errors?
Attached the same testcase but with errors removed.

Patrick Marlier.

[Bug c++/48075] infinite loop when compiling

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-10-12
            Summary|[trans-mem] infinite loop   |infinite loop when
                   |when compiling              |compiling
     Ever Confirmed|0                           |1

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-12 16:14:11 UTC ---
Confirmed.

[Bug c++/48075] infinite loop when compiling

[patrick.marlier at gmail dot com]

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

--- Comment #4 from Patrick Marlier <patrick.marlier at gmail dot com> 2011-12-03 03:53:02 UTC ---
Created attachment 25976
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25976
reduced and without transaction relaxed

I am hesitating to mark it as invalid since limiting the template-depth seems
to show the error. I let C++ guru if they think it is invalid (limit depth to 4
but it is quadratic expansion).

Patrick Marlier.

$ g++ inf.C -O0 -ftemplate-depth=4
inf.C:7:31: error: template instantiation depth exceeds maximum of 4 (use
-ftemplate-depth= to increase the maximum) instantiating ‘class
list<list<list<list<list<int>::Building*, allocator<list<int>::Building*>
>::Building*, allocator<list<list<int>::Building*,
allocator<list<int>::Building*> >::Building*> >::Building*,
allocator<list<list<list<int>::Building*, allocator<list<int>::Building*>
>::Building*, allocator<list<list<int>::Building*,
allocator<list<int>::Building*> >::Building*> >::Building*> >::Building*,
allocator<list<list<list<list<int>::Building*, allocator<list<int>::Building*>
>::Building*, allocator<list<list<int>::Building*,
allocator<list<int>::Building*> >::Building*> >::Building*,
allocator<list<list<list<int>::Building*, allocator<list<int>::Building*>
>::Building*, allocator<list<list<int>::Building*,
allocator<list<int>::Building*> >::Building*> >::Building*> >::Building*> >’
inf.C:7:31:   recursively required from ‘class list<list<int>::Building*,
allocator<list<int>::Building*> >’
inf.C:7:31:   required from ‘class list<int>’
inf.C:12:12:   required from here

[Bug c++/48075] infinite loop when compiling

[patrick.marlier at gmail dot com]

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

Patrick Marlier <patrick.marlier at gmail dot com> changed:

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

--- Comment #5 from Patrick Marlier <patrick.marlier at gmail dot com> 2012-01-09 15:49:12 UTC ---
Invalid.