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

            Bug ID: 82850
           Summary: g++ permits redefinition of default arguments
           Product: gcc
           Version: 4.8.5
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ec13n at my dot fsu.edu
  Target Milestone: ---

g++ allows for the redefinition of default arguments, shown by the following
code:

<snip>
// compiled with -Wall -Wextra
template < class T = int >
void myFunc ();

template < class T = int >
void myFunc () {
    //..
}

int main(){
    return 0;
}
</snip>

According to specification, this should not be allowed. (ยง14.1.12, I believe?)

If however two (potentially distinct) default arguments *are* allowed, this
could create a serious point of failure for client programs that may be relying
on one of the default values but are getting a different one.

gcc version details:
$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/4.8.5/lto-wrapper
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla
--enable-bootstrap --enable-shared --enable-threads=posix
--enable-checking=release --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-gnu-unique-object
--enable-linker-build-id --with-linker-hash-style=gnu
--enable-languages=c,c++,objc,obj-c++,java,fortran,ada,go,lto --enable-plugin
--enable-initfini-array --disable-libgcj
--with-isl=/builddir/build/BUILD/gcc-4.8.5-20150702/obj-x86_64-redhat-linux/isl-install
--with-cloog=/builddir/build/BUILD/gcc-4.8.5-20150702/obj-x86_64-redhat-linux/cloog-install
--enable-gnu-indirect-function --with-tune=generic --with-arch_32=x86-64
--build=x86_64-redhat-linux
Thread model: posix
gcc version 4.8.5 20150623 (Red Hat 4.8.5-11) (GCC)

Reply via email to