[Bug tree-optimization/19283] [4.0 Regression] Bad code generated in final_cleanup

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  
2005-01-06 00:27 -------
// C testcase, use '-O2' or '-O1 -funit-at-a-time' to reproduce:

void abort (void);

static unsigned short foo (unsigned int* p)
{
  return *p;
};

unsigned int u;

int main ()
{
  if ((foo (&u) & 0x8000) != 0)
    abort ();
  return 0;
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
  GCC build triplet|i686-pc-linux-gnu           |
   GCC host triplet|i686-pc-linux-gnu           |
 GCC target triplet|i686-pc-linux-gnu           |
           Keywords|                            |wrong-code
      Known to fail|                            |4.0.0
      Known to work|                            |3.4.4
           Priority|P3                          |P1
   Last reconfirmed|0000-00-00 00:00:00         |2005-01-06 00:27:06
               date|                            |
            Summary|Bad code generated in       |[4.0 Regression] Bad code
                   |final_cleanup               |generated in final_cleanup
   Target Milestone|---                         |4.0.0


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