missing const member initialisation

[Lars Albertsson]

With reservation to misreading of the draft (section 12.6.2.4), I
think the following program is ill-formed. In any case, the result is
indeterministic, suggestion undefined behaviour. If i is replaced with
a variable of user-defined type, the default constructor is called.

I think it would be handy to have a option enabling warnings of
uninitialised members, both for non-const built-in types and
user-defined types.


Egcs was configured using --prefix=/opt/egcs-1.1.2.

saruman:~/src/test> cat member.cc 
struct A {
  A() {};
  int i() const { return i_; };
  const int i_;
};


int 
main(int, char **)
{
  A a;
  cout << a.i() << endl;
  return 0;
}


saruman:~/src/test> /opt/egcs-1.1.2/bin/g++ -v --save-temps -Wall -W member.cc 
Reading specs from /opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66/specs
gcc version egcs-2.91.66 19990314 (egcs-1.1.2 release)
 /opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66/cpp -lang-c++ -v -undef -D__GNUC__=2 -D__GNUG__=2 -D__cplusplus -D__GNUC_MINOR__=91 -D__ELF__ -Dunix -Di386 -D__i386__ -Dlinux -D__ELF__ -D__unix__ -D__i386__ -D__i386__ -D__linux__ -D__unix -D__i386 -D__linux -Asystem(posix) -D__EXCEPTIONS -Wall -W -Asystem(unix) -Acpu(i386) -Amachine(i386) -Di386 -D__i386 -D__i386__ -Di686 -Dpentiumpro -D__i686 -D__i686__ -D__pentiumpro -D__pentiumpro__ member.cc member.ii
GNU CPP version egcs-2.91.66 19990314 (egcs-1.1.2 release) (i386 Linux/ELF)
#include "..." search starts here:
#include <...> search starts here:
 /opt/egcs-1.1.2/include/g++
 /usr/local/include
 /opt/egcs-1.1.2/i686-pc-linux-gnu/include
 /opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66/include
 /usr/include
End of search list.
 /opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66/cc1plus member.ii -quiet -dumpbase member.cc -Wall -W -version -o member.s
GNU C++ version egcs-2.91.66 19990314 (egcs-1.1.2 release) (i686-pc-linux-gnu) compiled by GNU C version egcs-2.91.66 19990314 (egcs-1.1.2 release).
 as -V -Qy -o member.o member.s
GNU assembler version 2.9.1 (i686-pc-linux-gnu), using BFD version 2.9.1.0.15
 /opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66/collect2 -m elf_i386 -dynamic-linker /lib/ld-linux.so.2 /usr/lib/crt1.o /usr/lib/crti.o /opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66/crtbegin.o -L/opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66 -L/opt/egcs-1.1.2/i686-pc-linux-gnu/lib -L/opt/egcs-1.1.2/lib member.o -lstdc++ -lm -lgcc -lc -lgcc /opt/egcs-1.1.2/lib/gcc-lib/i686-pc-linux-gnu/egcs-2.91.66/crtend.o /usr/lib/crtn.o

saruman:~/src/test> cat member.ii 
# 1 "member.cc"
struct A {
  A() {};
  int i() const { return i_; };
  const int i_;
};


int 
main(int, char **)
{
  A a;
  return a.i() + 1;
}


saruman:~/src/test> uname -a
Linux saruman.sics.se 2.0.35 #5 Wed Nov 4 11:32:07 CET 1998 i686 unknown