[Bug c++/53545] New: g++ 4.70 --std=c++11 generates no object file, issues no errors

[Bug c++/53545] New: g++ 4.70 --std=c++11 generates no object file, issues no errors

[squidbidness at yahoo dot com]

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

             Bug #: 53545
           Summary: g++ 4.70 --std=c++11 generates no object file, issues
                    no errors
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: squidbidness@yahoo.com


Created attachment 27534
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27534
Self-contained test case .cpp

When I compile the attached, self-contained test-case source file
testScratch.cpp, g++ does not generate an output .obj file.  If I comment out
lines 45-47 of testScratch.cpp, compilation is successful, and the .obj file is
generated as expected.

My compilation command is:
g++ -o testScratch.obj -O2 -Wall -std=c++11 -c testScratch.cpp
-fno-strict-aliasing -Wextra

(I've also tried without the -O2 optimization option, with the same results)

I am using the Mingw-builds distribution at

http://code.google.com/p/mingw-builds/downloads/detail?name=x86_64-mingw32-gcc-4.7.0-release-c%2Cc%2B%2B%2Cfortran-sjlj.zip

to cross-compile to Windows 7, 64-bit, running on the same.

The output of g++ -v is:


Using built-in specs.
COLLECT_GCC=e:\stdalone\mingw\bin\g++.exe
COLLECT_LTO_WRAPPER=e:/stdalone/mingw/bin/../libexec/gcc/x86_64-w64-mingw32/4.7.0/lto-wrapper.exe
Target: x86_64-w64-mingw32
Configured with: ../../mingw-src/gcc-4.7.0/configure --host=x86_64-w64-mingw32
--build=x86_64-w64-mingw32 --target=x86_64-w64-mingw32 --enable-targets=all
--enable-multilib --prefix=/./mingw-x64 --with-sysroot=/./mingw-x64
--with-tune=generic --enable-languages=c,c++,lto,fortran
--enable-libstdcxx-time=yes --with-host-libstdcxx='-static -lstdc++'
--enable-shared --enable-static --enable-threads=posix --enable-libgomp
--enable-lto --enable-graphite --enable-cloog-backend=isl
--enable-checking=release --enable-fully-dynamic-string
--enable-version-specific-runtime-libs --enable-sjlj-exceptions
--disable-libstdcxx-pch --disable-libstdcxx-debug --disable-debug
--disable-bootstrap --disable-rpath --disable-win32-registry --disable-nls
--disable-werror --disable-symvers --with-libiconv --with-gmp=/./mingw-libs-x64
--with-mpfr=/./mingw-libs-x64 --with-mpc=/./mingw-libs-x64
--with-ppl=/./mingw-libs-x64 --with-cloog=/./mingw-libs-x64
--with-pkgversion='niXman\'\''s build'
--with-bugurl=http://code.google.com/p/mingw-builds/issues/list CFLAGS='-O3
-pipe -fomit-frame-pointer -momit-leaf-frame-pointer
-I/./mingw-libs-x64/include' CXXFLAGS='-O3 -pipe -fomit-frame-pointer
-momit-leaf-frame-pointer' CPPFLAGS= LDFLAGS='-pipe -s -L/./mingw-libs-x64/lib'
Thread model: posix
gcc version 4.7.0 (niXman's build)

[Bug c++/53545] g++ 4.70 --std=c++11 generates no object file, issues no errors

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |glisse at gcc dot gnu.org

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> 2012-05-31 22:04:33 UTC ---
template<class>
struct HasUpdateMethod {
    template <class U, class... V>
    static void test(U * u, V *... v,
            decltype(u->update(*v...)) * = 0);
};

HasUpdateMethod<int> x;


crashes g++-4.8 -std=c++11 from 1 month ago (can't test current right now).

[Bug c++/53545] g++ 4.70 --std=c++11 generates no object file, issues no errors

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|glisse at gcc dot gnu.org   |

--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2012-05-31 22:14:52 UTC ---
Looks like an infinite recursion between tsubst and tsubst_copy_and_build, does
that ring a bell to someone?

[Bug c++/53545] g++ 4.70 --std=c++11 generates no object file, issues no errors

[squidbidness at gmail dot com]

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

--- Comment #3 from Anthony Hall <squidbidness at gmail dot com> 2012-06-01 04:29:26 UTC ---
For what it's worth, I discovered the file will successfully compile (with the
same compilation command as in original report) if I move the FirstStep,
SecondStep, Yes, and No utility templates and specializations out of the
HasUpdateMethod to file scope, or embed them in a file-level "detail"
namespace, with no other code changes.

[Bug c++/53545] g++ 4.70 --std=c++11 generates no object file, issues no errors

[daniel.kruegler at googlemail dot com]

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

Daniel Krügler <daniel.kruegler at googlemail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |daniel.kruegler at
                   |                            |googlemail dot com

--- Comment #4 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-06-04 12:41:06 UTC ---
(In reply to comment #2)
> Looks like an infinite recursion between tsubst and tsubst_copy_and_build, does
> that ring a bell to someone?

Could this be a similar problem as observed in bug 53498, comment 1?

[Bug c++/53545] g++ 4.70 --std=c++11 generates no object file, issues no errors

[glisse at gcc dot gnu.org]

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

--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> 2012-06-04 19:54:05 UTC ---
(In reply to comment #4)
> Could this be a similar problem as observed in bug 53498, comment 1?

Indeed, the testcases look similar and the stack traces are both infinite
recursions that ping-pong between the same 2 functions. Thanks.

[Bug c++/53545] g++ 4.70 --std=c++11 generates no object file, issues no errors

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |jason at gcc dot gnu.org
         Resolution|                            |DUPLICATE

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-26 03:44:42 UTC ---
Yep, duplicate.

*** This bug has been marked as a duplicate of bug 53498 ***