[Bug tree-optimization/99101] optimization bug with -ffinite-loops

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99101

--- Comment #14 from Richard Biener <rguenth at gcc dot gnu.org> ---
Oh, and the testcase does not require the abort () call but can do with a
regular exit and no unreachable blocks:

volatile int xx;
int main()
{
  int read_finish_ = 1;
  int jobs_ = 1;
  int at_eof_ = 0;
  while (1)
    {
      int num_job = jobs_;
      for (int i = 0; i < jobs_; i++)
        {
          if (at_eof_) continue;
          if (read_finish_)
            {
              at_eof_ = 1;
              __builtin_printf ("1\n");
              if (xx)
                return 1;
            }
        }
      jobs_ -= num_job;
    }
  return 0;
}

but it then of course shows the same post-dominance structure and thus
exhibits the same control dependences which do not agree with what
CD-DCE expects.