Re: Warning: `z' is used uninitialized in this function

2007-10-17 Thread Manuel López-Ibáñez
On 11/10/2007, Roberto Bagnara [EMAIL PROTECTED] wrote: Just to make sure before I submit a bug report: when GCC says that a certain variable _is_ (as opposed to _may be_) used uninitialized in this function, it means that it has proved that the variable is indeed used uninitialized, right?

Re: Warning: `z' is used uninitialized in this function

2007-10-17 Thread Roberto Bagnara
Manuel López-Ibáñez wrote: On 11/10/2007, Roberto Bagnara [EMAIL PROTECTED] wrote: Just to make sure before I submit a bug report: when GCC says that a certain variable _is_ (as opposed to _may be_) used uninitialized in this function, it means that it has proved that the variable is indeed

Re: Warning: `z' is used uninitialized in this function

2007-10-17 Thread Manuel López-Ibáñez
On 17/10/2007, Roberto Bagnara [EMAIL PROTECTED] wrote: Manuel López-Ibáñez wrote: On 11/10/2007, Roberto Bagnara [EMAIL PROTECTED] wrote: Just to make sure before I submit a bug report: when GCC says that a certain variable _is_ (as opposed to _may be_) used uninitialized in this

Warning: `z' is used uninitialized in this function

2007-10-11 Thread Roberto Bagnara
Just to make sure before I submit a bug report: when GCC says that a certain variable _is_ (as opposed to _may be_) used uninitialized in this function, it means that it has proved that the variable is indeed used uninitialized, right? I am asking because I have a testcase where g++ gives this

Re: Warning: `z' is used uninitialized in this function

2007-10-11 Thread Manuel López-Ibáñez
On 11/10/2007, Roberto Bagnara [EMAIL PROTECTED] wrote: Just to make sure before I submit a bug report: when GCC says that a certain variable _is_ (as opposed to _may be_) used uninitialized in this function, it means that it has proved that the variable is indeed used uninitialized, right?