[Bug c++/60908] New: compiler bug related to trans-mem.c

[Bug c++/60908] New: compiler bug related to trans-mem.c

[suganuma at hiraki dot is.s.u-tokyo.ac.jp]

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

            Bug ID: 60908
           Summary: compiler bug related to trans-mem.c
           Product: gcc
           Version: 4.7.3
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: suganuma at hiraki dot is.s.u-tokyo.ac.jp

There seems to be a bug related to hardware transactional memory.

$ g++ -v -save-temps -std=c++0x -fgnu-tm -lpthread gcj_main.cpp 
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/local/Cellar/gcc47/4.7.3/libexec/gcc/x86_64-apple-darwin13.0.1/4.7.3/lto-wrapper
Target: x86_64-apple-darwin13.0.1
Configured with: ../configure --build=x86_64-apple-darwin13.0.1
--prefix=/usr/local/Cellar/gcc47/4.7.3 --enable-languages=c
--program-suffix=-4.7 --with-gmp=/usr/local/opt/gmp4
--with-mpfr=/usr/local/opt/mpfr2 --with-mpc=/usr/local/opt/libmpc08
--with-ppl=/usr/local/opt/ppl011 --with-cloog=/usr/local/opt/cloog-ppl015
--with-system-zlib --enable-version-specific-runtime-libs
--enable-libstdcxx-time=yes --enable-stage1-checking --enable-checking=release
--enable-lto --disable-werror --enable-plugin --disable-nls --disable-multilib
Thread model: posix
gcc version 4.7.3 (GCC) 
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.9.1' '-v' '-save-temps'
'-std=c++11' '-fgnu-tm' '-shared-libgcc' '-mtune=core2'

/usr/local/Cellar/gcc47/4.7.3/libexec/gcc/x86_64-apple-darwin13.0.1/4.7.3/cc1plus
-E -quiet -v -D__DYNAMIC__ gcj_main.cpp -fPIC -mmacosx-version-min=10.9.1
-mtune=core2 -std=c++11 -fgnu-tm -fpch-preprocess -o gcj_main.ii
ignoring nonexistent directory "/usr/local/Cellar/gcc47/4.7.3/include"
ignoring nonexistent directory
"/usr/local/Cellar/gcc47/4.7.3/lib/gcc/x86_64-apple-darwin13.0.1/4.7.3/../../../../x86_64-apple-darwin13.0.1/include"
#include "..." search starts here:
#include <...> search starts here:

/usr/local/Cellar/gcc47/4.7.3/lib/gcc/x86_64-apple-darwin13.0.1/4.7.3/include/c++

/usr/local/Cellar/gcc47/4.7.3/lib/gcc/x86_64-apple-darwin13.0.1/4.7.3/include/c++/x86_64-apple-darwin13.0.1

/usr/local/Cellar/gcc47/4.7.3/lib/gcc/x86_64-apple-darwin13.0.1/4.7.3/include/c++/backward
 /usr/local/Cellar/gcc47/4.7.3/lib/gcc/x86_64-apple-darwin13.0.1/4.7.3/include
 /usr/local/include

/usr/local/Cellar/gcc47/4.7.3/lib/gcc/x86_64-apple-darwin13.0.1/4.7.3/include-fixed
 /usr/include
 /System/Library/Frameworks
 /Library/Frameworks
End of search list.
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.9.1' '-v' '-save-temps'
'-std=c++11' '-fgnu-tm' '-shared-libgcc' '-mtune=core2'

/usr/local/Cellar/gcc47/4.7.3/libexec/gcc/x86_64-apple-darwin13.0.1/4.7.3/cc1plus
-fpreprocessed gcj_main.ii -fPIC -quiet -dumpbase gcj_main.cpp
-mmacosx-version-min=10.9.1 -mtune=core2 -auxbase gcj_main -std=c++11 -version
-fgnu-tm -o gcj_main.s
GNU C++ (GCC) version 4.7.3 (x86_64-apple-darwin13.0.1)
    compiled by GNU C version 4.7.3, GMP version 4.3.2, MPFR version 2.4.2, MPC
version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C++ (GCC) version 4.7.3 (x86_64-apple-darwin13.0.1)
    compiled by GNU C version 4.7.3, GMP version 4.3.2, MPFR version 2.4.2, MPC
version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: ed8e3758c0a340798fe5b6d6f917f46e
gcj_main.cpp: In function 'void* worker(void*)':
gcj_main.cpp:48:7: internal compiler error: in expand_call_tm, at
trans-mem.c:2280
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/60908] compiler bug related to trans-mem.c

[suganuma at hiraki dot is.s.u-tokyo.ac.jp]

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

--- Comment #1 from Nobuhiro SUGANUMA <suganuma at hiraki dot is.s.u-tokyo.ac.jp> ---
Created attachment 32643
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32643&action=edit
source code

Because of file size limit, I attached the source code.

[Bug c++/60908] compiler bug related to trans-mem.c

[suganuma at hiraki dot is.s.u-tokyo.ac.jp]

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

--- Comment #2 from Nobuhiro SUGANUMA <suganuma at hiraki dot is.s.u-tokyo.ac.jp> ---
Created attachment 32644
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32644&action=edit
Link to .ii file

[Bug c++/60908] compiler bug related to trans-mem.c

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-04-22
                 CC|                            |aldyh at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org,
                   |                            |rth at gcc dot gnu.org,
                   |                            |torvald at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Doesn't seem to be a regression, ICEs starting with r181154 when -fgnu-tm
support has been added.
Reduced testcase:

int t, v;

int
foo (void)
{
  while (1)
    {
      __transaction_atomic { v++; }
      if (t)
        return 0;
    }
}