[Bug c++/61135] New: It seems to be not able to call virtual method of literal object in lambda expression

[Bug c++/61135] New: It seems to be not able to call virtual method of literal object in lambda expression

[okamoto6496 at gmail dot com]

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

            Bug ID: 61135
           Summary: It seems to be not able to call virtual method of
                    literal object in lambda expression
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: okamoto6496 at gmail dot com

Code is below:

  1 struct Base
  2 {
  3         virtual int b() const{return 1;};
  4 };
  5 
  6 struct Super:Base{};
  7 
  8 int main()
  9 {
 10         constexpr Super s;
 11         []{s.b();}();
 12 }

Compiler message is below:

buggy.cpp: In lambda function:
buggy.cpp:11:10: internal compiler error: in create_tmp_var, at gimplify.c:479
  []{a.b();}();


compile option is below:

g++ buggy.cpp -std=c++0x
or
g++ buggy.cpp -std=c++1y


%uname -a
Linux ZARATH-PC 3.13-1-amd64 #1 SMP Debian 3.13.10-1 (2014-04-15) x86_64
GNU/Linux


%g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.8/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 4.8.2-21'
--with-bugurl=file:///usr/share/doc/gcc-4.8/README.Bugs
--enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.8 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.8 --libdir=/usr/lib --enable-nls
--with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --enable-gnu-unique-object --disable-libmudflap
--enable-plugin --with-system-zlib --disable-browser-plugin
--enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64/jre --enable-java-home
--with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.8-amd64
--with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --with-arch-32=i586 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --with-tune=generic --enable-checking=release
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.8.2 (Debian 4.8.2-21)

[Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression

[okamoto6496 at gmail dot com]

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

--- Comment #1 from MamoruOKAMOTO <okamoto6496 at gmail dot com> ---
g++-4.9.0 returned same message.

[Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression

[okamoto6496 at gmail dot com]

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

--- Comment #2 from MamoruOKAMOTO <okamoto6496 at gmail dot com> ---
Created attachment 32772
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32772&action=edit
Test code using report

[Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-05-10
             Blocks|                            |54367
     Ever confirmed|0                           |1

[Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression

[daniel.kruegler at googlemail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |daniel.kruegler@googlemail.
                   |                            |com

--- Comment #3 from Daniel Krügler <daniel.kruegler at googlemail dot com> ---
1) The problem also exists in gcc 4.10 trunk

2) As written, the presented code would be ill-formed anyway. The following
transformed example presents valid code that produces the same ICE:

//-----------------------
struct Base
{
  virtual int b() const{return 1;};
};

struct Super:Base{};

int main()
{
  constexpr Super s = Super();
  [&]{s.b();}();
}
//-----------------------
>From gcc-bugs-return-451226-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 10 21:17:13 2014
Return-Path: <gcc-bugs-return-451226-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 5479 invoked by alias); 10 May 2014 21:17:12 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 5402 invoked by uid 48); 10 May 2014 21:17:06 -0000
From: "olegendo at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/50751] SH Target: Displacement addressing does not work for QImode and HImode
Date: Sat, 10 May 2014 21:17:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.7.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: olegendo at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: olegendo at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-50751-4-imsOcfe8cB@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-50751-4@http.gcc.gnu.org/bugzilla/>
References: <bug-50751-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-05/txt/msg00918.txt.bz2
Content-length: 1767

http://gcc.gnu.org/bugzilla/show_bug.cgi?idP751

--- Comment #35 from Oleg Endo <olegendo at gcc dot gnu.org> ---
(In reply to Oleg Endo from comment #34)
>
> I've tried to reproduce this on trunk rev 205756 (4.9) and the problem seems
> to be gone.

And it popped up again:
FAIL: gcc.dg/atomic/c11-atomic-exec-4.c  -Os  (internal compiler error)

Compiling with -Os -m4 -ml -matomic-model=soft-gusa, I get:

sh_tmp.cpp: In function 'test_thread_uint8_add':
sh_tmp.cpp:71:1: error: unable to find a register to spill in class 'R0_REGS'
sh_tmp.cpp:71:1: error: this is the insn:
(insn 29 28 30 5 (parallel [
            (set (subreg:SI (reg:QI 3 r3 [181]) 0)
                (unspec_volatile:SI [
                        (mem:QI (reg/f:SI 5 r5 [184]) [0  S1 A8])
                        (reg:QI 180)
                        (subreg:QI (reg:SI 7 r7 [178]) 0)
                    ] UNSPECV_CMPXCHG_1))
            (set (mem:QI (reg/f:SI 5 r5 [184]) [0  S1 A8])
                (unspec_volatile:QI [
                        (const_int 0 [0])
                    ] UNSPECV_CMPXCHG_2))
            (set (reg:SI 147 t)
                (unspec_volatile:SI [
                        (const_int 0 [0])
                    ] UNSPECV_CMPXCHG_3))
            (clobber (scratch:SI))
            (clobber (reg:SI 0 r0))
            (clobber (reg:SI 1 r1))
        ]) sh_tmp.cpp:71 640 {atomic_compare_and_swapqi_soft_gusa}
     (expr_list:REG_DEAD (reg:QI 180)
        (expr_list:REG_DEAD (reg:SI 7 r7 [178])
            (expr_list:REG_UNUSED (reg:SI 1 r1)
                (expr_list:REG_UNUSED (reg:SI 0 r0)
                    (nil))))))
sh_tmp.cpp:71:1: internal compiler error: in spill_failure, at reload1.c:2106

Probably we really should try switching to LRA (PR 55212).

[Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression

[dtemirbulatov at gmail dot com]

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

--- Comment #4 from Dinar Temirbulatov <dtemirbulatov at gmail dot com> ---
I could not reproduce the error, the output looks correct on trunk

[Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression

[lc289dafd7ybme05se at softbank dot ne.jp]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 7624 bytes --]

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

lc289dafd7ybme05se at softbank dot ne.jp changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lc289dafd7ybme05se@softbank
                   |                            |.ne.jp

--- Comment #6 from lc289dafd7ybme05se at softbank dot ne.jp ---
below also doesn't work
struct A
{
    int funcA(){return 0;}
};
template<class>
struct B:virtual public A{
    void funcB(){
        [a=this->funcA()]{};
    }
};

int main()
{
    B<A> b;
    b.funcB();
    return 0;
}

//g++ 4.9.2
g++ -std=c++14 hd.cpp
hd.cpp: In instantiation of ‘void B< <template-parameter-1-1> >::funcB() [with
<template-parameter-1-1> = A]’:
hd.cpp:15:10:   required from here
hd.cpp:9:2: internal compiler error: in cp_genericize_r, at
cp/cp-gimplify.c:1175
  }
  ^
>From gcc-bugs-return-483992-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Apr 19 00:30:10 2015
Return-Path: <gcc-bugs-return-483992-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 75921 invoked by alias); 19 Apr 2015 00:30:09 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 75864 invoked by uid 48); 19 Apr 2015 00:30:06 -0000
From: "lc289dafd7ybme05se at softbank dot ne.jp" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression
Date: Sun, 19 Apr 2015 00:30:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: lc289dafd7ybme05se at softbank dot ne.jp
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61135-4-PJIJiWjj8C@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61135-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61135-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-04/txt/msg01544.txt.bz2
Content-length: 304

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

--- Comment #7 from lc289dafd7ybme05se at softbank dot ne.jp ---
仮想継承の時もエラーになるみたいですね。
>From gcc-bugs-return-483993-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Apr 19 04:46:20 2015
Return-Path: <gcc-bugs-return-483993-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 23296 invoked by alias); 19 Apr 2015 04:46:18 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 23274 invoked by uid 48); 19 Apr 2015 04:46:12 -0000
From: "gang.chen.5i5j at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65804] New: blackfin: Not support global frame pointer with -fno-omit-frame-pointer
Date: Sun, 19 Apr 2015 04:46:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: gang.chen.5i5j at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-65804-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-04/txt/msg01545.txt.bz2
Content-length: 2801

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide804

            Bug ID: 65804
           Summary: blackfin: Not support global frame pointer with
                    -fno-omit-frame-pointer
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gang.chen.5i5j at gmail dot com

The code:

  [root@localhost gcc]# cat stacktrace.i
  register unsigned long current_frame_pointer asm("FP");

  void save_stack_trace(void)
  {
   unsigned long fp;
   fp = current_frame_pointer;
  }


For gcc5 from upstream (cause issue):

  [root@localhost gcc]# /upstream/release-blackfin/bin/bfin-gchen-elf-gcc
-mcpu¿533-0.3 -fno-omit-frame-pointer -pg -c stacktrace.i
  stacktrace.i: In function 'save_stack_trace':
  stacktrace.i:3:6: error: frame pointer required, but reserved
   void save_stack_trace(void)
        ^
  stacktrace.i:1:24: note: for 'current_frame_pointer'
   register unsigned long current_frame_pointer asm("FP");
                          ^

  [root@localhost linux-next]#
/upstream/release-blackfin/bin/bfin-gchen-elf-gcc -v
  Using built-in specs.
  COLLECT_GCC=/upstream/release-blackfin/bin/bfin-gchen-elf-gcc

COLLECT_LTO_WRAPPER=/upstream/release-blackfin/libexec/gcc/bfin-gchen-elf/5.0.0/lto-wrapper
  Target: bfin-gchen-elf
  Configured with: ../gcc-blackfin/configure --target¿in-gchen-elf
--disable-nls --disable-threads --disable-shared --disable-libquadmath
--disable-libgomp --disable-libatomic --prefix=/upstream/release-blackfin
--without-headers target_alias¿in-gchen-elf --enable-languages=c
  Thread model: single
  gcc version 5.0.0 20150401 (experimental) (GCC)


For blackfin gcc4.5.4 from soureforge (no issue):

  root@gchen:/upstream/linux-next# /3p/release-blackfin/bin/bfin-gchen-elf-gcc
-mcpu¿533-0.3 -fno-omit-frame-pointer -pg -c stacktrace.i

  root@gchen:/upstream/linux-next# /3p/release-blackfin/bin/bfin-gchen-elf-gcc
-v
  Using built-in specs.
  COLLECT_GCC=/3p/release-blackfin/bin/bfin-gchen-elf-gcc

COLLECT_LTO_WRAPPER=/3p/release-blackfin/libexec/gcc/bfin-gchen-elf/4.5.4/lto-wrapper
  Target: bfin-gchen-elf
  Configured with: ../gcc/configure --target¿in-gchen-elf --disable-nls
--disable-threads --disable-shared --disable-libssp --disable-libquadmath
--disable-libgomp --disable-libatomic --prefix=/upstream/release-blackfin
--without-headers --enable-languages=c : (reconfigured) ../gcc/configure
--target¿in-gchen-elf --disable-nls --disable-threads --disable-shared
--disable-libssp --disable-libquadmath --disable-libgomp --disable-libatomic
--prefix=/3p/release-blackfin --without-headers --enable-languages=c
  Thread model: single
  gcc version 4.5.4 (GCC)

[Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression

[ubizjak at gmail dot com]

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

--- Comment #8 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to lc289dafd7ybme05se from comment #7)
> 仮想継承の時もエラーになるみたいですね。

To save some clicking, Google translate said:

"It seems to be an error even when the virtual inheritance."
>From gcc-bugs-return-483996-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Apr 19 08:49:03 2015
Return-Path: <gcc-bugs-return-483996-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 85280 invoked by alias); 19 Apr 2015 08:49:03 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 85232 invoked by uid 48); 19 Apr 2015 08:48:59 -0000
From: "lc289dafd7ybme05se at softbank dot ne.jp" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/61135] It seems to be not able to call virtual method of literal object in lambda expression
Date: Sun, 19 Apr 2015 08:49:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: lc289dafd7ybme05se at softbank dot ne.jp
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61135-4-x1UvY87mUS@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61135-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61135-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-04/txt/msg01548.txt.bz2
Content-length: 200

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida135

--- Comment #9 from lc289dafd7ybme05se at softbank dot ne.jp ---
right.
i don't know why, but template<class> is also needed, to invoke the error.