[Bug c++/33802] g++ says `z' is used uninitialized but this is not true

["bagnara at cs dot unipr dot it" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #6 from bagnara at cs dot unipr dot it  2008-01-07 19:30 -------
Please, forget comment #5.  Let me try again.

Indeed the testcase does not compile with GCC 4.3 (while compiling perfectly
with GCC 4.0, 4.1 and 4.2).  For some reason, GCC 4.3 dislikes the
implementation of the STL that is shipped with previous versions. I have thus
reconstructed the testcase by compiling the non-preprocessed sources with GCC
version 4.3.0 20071228.

Here is what happens (note that, differently from what was the case, now the
warning is give three times in a row):

$ bunzip2 bug2.cc.bz2 
$ md5sum bug2.cc
63b807d5f4dc8d88c00d84a2e951f048  bug2.cc
$ g++ -W -Wall -Wno-parentheses -O2 -c bug2.cc
bug.cc: In function ?void
Parma_Polyhedra_Library::add_mul_assign(Parma_Polyhedra_Library::Checked_Number<T,
P>&, const Parma_Polyhedra_Library::Checked_Number<T, P>&, const
Parma_Polyhedra_Library::Checked_Number<T, P>&) [with T = long int, Policy =
Parma_Polyhedra_Library::Checked_Number_Default_Policy]?:
bug.cc:3675: warning: ?z? is used uninitialized in this function
bug.cc:3669: note: ?z? was declared here
bug.cc: In member function ?Parma_Polyhedra_Library::Poly_Gen_Relation
Parma_Polyhedra_Library::Octagonal_Shape<T>::relation_with(const
Parma_Polyhedra_Library::Generator&) const [with T = __gmp_expr<__mpq_struct
[1], __mpq_struct [1]>]?:
bug.cc:3669: warning: ?z? may be used uninitialized in this function
bug.cc:3669: note: ?z? was declared here
bug.cc:3669: warning: ?z? may be used uninitialized in this function
bug.cc:3669: note: ?z? was declared here
bug.cc:3669: warning: ?z? may be used uninitialized in this function
bug.cc:3669: note: ?z? was declared here
$ g++ --version
g++ (GCC) 4.3.0 20071228 (experimental)
Copyright (C) 2007 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
$ 


-- 


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