public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "spoo at zarbosoft dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/56095] Crash casting function pointer as non-type template argument
Date: Thu, 24 Jan 2013 06:39:00 -0000	[thread overview]
Message-ID: <bug-56095-4-l6LpUS1QVS@http.gcc.gnu.org/bugzilla/> (raw)
In-Reply-To: <bug-56095-4@http.gcc.gnu.org/bugzilla/>


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

--- Comment #1 from Rendaw <spoo at zarbosoft dot com> 2013-01-24 06:39:12 UTC ---
I tried one more case, casting before using the template:

Code (c.cxx):
int *a(void) { return 0; }
typedef void (*IntermediarySignature)(void);
template <IntermediarySignature b> void z(void) {}

int main(int argc, char **argv)
{
    constexpr IntermediarySignature c = (IntermediarySignature)a;
    z<c>();
    return 0;
}

4.7 output:
> g++-4.7 -std=c++11 c.cxx 
c.cxx: In function ‘int main(int, char**)’:
c.cxx:8:7: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.7/README.Bugs> for instructions.
Preprocessed source stored into /tmp/ccw2QOq9.out file, please attach this to
your bugreport.

4.6 output:
> g++ -std=c++0x c.cxx 
c.cxx: In function ‘int main(int, char**)’:
c.cxx:8:7: error: ‘(IntermediarySignature)a’ is not a valid template argument
for type ‘void (*)()’ because function ‘#‘nop_expr’ not supported by
dump_decl#<declaration error>’ has not external linkage
c.cxx:8:7: error: no matching function for call to ‘z()’
c.cxx:8:7: note: candidate is:
c.cxx:3:41: note: template<void (* b)()> void z()


  reply	other threads:[~2013-01-24  6:39 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-01-24  5:23 [Bug c++/56095] New: " spoo at zarbosoft dot com
2013-01-24  6:39 ` spoo at zarbosoft dot com [this message]
2013-01-24 11:56 ` [Bug c++/56095] " daniel.kruegler at googlemail dot com
2013-01-24 12:02 ` redi at gcc dot gnu.org
2013-01-24 12:08 ` daniel.kruegler at googlemail dot com
2013-01-24 12:11 ` [Bug c++/56095] [4.6/4.7/4.8 Regression] " jakub at gcc dot gnu.org
2013-01-24 12:12 ` jakub at gcc dot gnu.org
2013-01-24 12:14 ` redi at gcc dot gnu.org
2013-01-25 20:01 ` jason at gcc dot gnu.org
2013-01-25 20:05 ` [Bug c++/56095] [4.6/4.7 " jakub at gcc dot gnu.org
2013-01-25 20:20 ` jason at gcc dot gnu.org
2013-03-17  2:34 ` jason at gcc dot gnu.org

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bug-56095-4-l6LpUS1QVS@http.gcc.gnu.org/bugzilla/ \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).