[Bug middle-end/24004] [4.0 Regression] bogus 'may be uninit warnings' for loops

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #2 from pinskia at gcc dot gnu dot org  2005-12-02 00:10 -------
Note the warning is that bogus, take the following example:
float a(void)
{
        float i;
        float granularity = 0.01f;
        float dist = 0;
        float vec[2] = {0,0};
        float lastPoint;
        float result;

        for(i = 0; i <= 1.f; i += granularity ) {

                result = vec[1] - vec[0];

                if( i != 0 ) {
                        vec[0] = result - lastPoint;
                        dist += vec[0];
                }

                lastPoint = result;
        }
        return dist;
}

We get the same warning.  For the mainline, we get no warning as we are jump
threading so that the if (i!=0) is removed for the first iteration of the loop.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |24639
              nThis|                            |
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |diagnostic
      Known to fail|                            |4.0.0 4.0.3
      Known to work|                            |4.1.0 3.4.0
   Last reconfirmed|0000-00-00 00:00:00         |2005-12-02 00:10:15
               date|                            |
            Summary|gcc 4.0.2 gives bogus 'may  |[4.0 Regression] bogus 'may
                   |be uninit warnings' at -O3  |be uninit warnings' for
                   |                            |loops
   Target Milestone|---                         |4.0.3


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