[Bug c++/51613] New: Ambiguous function template instantiations as template argument are not rejected

[pkmx.tw at gmail dot com]

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

 Bug #: 51613
   Summary: Ambiguous function template instantiations as template
argument are not rejected
Classification: Unclassified
   Product: gcc
   Version: 4.6.2
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: pkmx...@gmail.com


In the book "C++ Templates - The Complete Guide" section 8.3, the following
code snippet is given:

template
void apply(F f, T t)
{
f(t);
}

template
void multi(T)
{
}

template
void multi(T*)
{
}

int main()
{
apply(&multi, 7);

return 0;
}

My understanding is that &multi here instantiates two functions of types
void (*)(int) and void (*)(int*) with no ways to disambiguate and therefore F
cannot be deducted. However, gcc currently deducts F as void (*)(int) and
ultimately calls multi(int). This is the same case for gcc 4.4.3, gcc 4.6.2,
gcc 4.7.0 2012 snapshot and probably other versions.

[Bug c++/49689] New: Using offsetof of an incomplete class template in static_assert causes gcc to crash

[pkmx.tw at gmail dot com]

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

   Summary: Using offsetof of an incomplete class template in
static_assert causes gcc to crash
   Product: gcc
   Version: 4.6.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: pkmx...@gmail.com


Created attachment 24725
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24725
The preprocessed source file.

pkmx@tranquility ~/src/test $ gcc -v -save-temps -std=c++0x main.cpp
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-linux-gnu/4.6.1/lto-wrapper
Target: i686-pc-linux-gnu
Configured with: /build/src/gcc-4.6.1/configure --prefix=/usr --libdir=/usr/lib
--libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info
--with-bugurl=https://bugs.archlinux.org/
--enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared
--enable-threads=posix --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-clocale=gnu --enable-gnu-unique-object
--enable-linker-build-id --with-ppl --enable-cloog-backend=isl --enable-lto
--enable-gold --enable-ld=default --enable-plugin --with-plugin-ld=ld.gold
--disable-multilib --disable-libstdcxx-pch --enable-checking=release
Thread model: posix
gcc version 4.6.1 (GCC) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-std=c++0x' '-mtune=generic'
'-march=pentiumpro'
 /usr/lib/gcc/i686-pc-linux-gnu/4.6.1/cc1plus -E -quiet -v -D_GNU_SOURCE
main.cpp -mtune=generic -march=pentiumpro -std=c++0x -fpch-preprocess -o
main.ii
ignoring nonexistent directory
"/usr/lib/gcc/i686-pc-linux-gnu/4.6.1/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/i686-pc-linux-gnu/4.6.1/../../../../include/c++/4.6.1

/usr/lib/gcc/i686-pc-linux-gnu/4.6.1/../../../../include/c++/4.6.1/i686-pc-linux-gnu
 /usr/lib/gcc/i686-pc-linux-gnu/4.6.1/../../../../include/c++/4.6.1/backward
 /usr/lib/gcc/i686-pc-linux-gnu/4.6.1/include
 /usr/local/include
 /usr/lib/gcc/i686-pc-linux-gnu/4.6.1/include-fixed
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-std=c++0x' '-mtune=generic'
'-march=pentiumpro'
 /usr/lib/gcc/i686-pc-linux-gnu/4.6.1/cc1plus -fpreprocessed main.ii -quiet
-dumpbase main.cpp -mtune=generic -march=pentiumpro -auxbase main -std=c++0x
-version -o main.s
GNU C++ (GCC) version 4.6.1 (i686-pc-linux-gnu)
compiled by GNU C version 4.6.1, GMP version 5.0.2, MPFR version 3.0.1-p4,
MPC version 0.9
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C++ (GCC) version 4.6.1 (i686-pc-linux-gnu)
compiled by GNU C version 4.6.1, GMP version 5.0.2, MPFR version 3.0.1-p4,
MPC version 0.9
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: 4ee0d11bcdc36ab84f948e2cabeb64f1
main.cpp: In instantiation of ‘foo’:
main.cpp:12:14:   instantiated from here
main.cpp:6:7: internal compiler error: in tree_low_cst, at tree.h:4233
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.

Original source code:
#include 

template
struct foo
{
T x;
static_assert(offsetof(foo, x) == 0, "crash");
};

int main()
{
foo f;

return 0;
}