[Bug tree-optimization/27755] PRE confused by control flow

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2006-05-24 17:30 -------
Cannot get it smaller than

unsigned mudflap_mode;
void __mfu_check (unsigned obj_count,
        unsigned long ptr_lower, unsigned long* all_ovr_obj)
{
  unsigned uncovered = 1, i;
  switch (mudflap_mode) {
  case 0:
    while (uncovered)
      {
        uncovered = 0;
        for (i = 0; i < obj_count; i++)
          {
             int j, uncovered_low_p = 1, uncovered_high_p = 1;
             for (j = 0; j < obj_count; j++)
               { 
                 if (ptr_lower <= *all_ovr_obj)
                   {
                     uncovered_low_p = 0;
                     uncovered_high_p = 0;
                   }
               }
             if (uncovered_low_p || uncovered_high_p)    
               uncovered++;
          }
      }
  }
}


-- 


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