[tree-ssa] Dce & infinite loops

[Diego Novillo]

On Thu, 2004-03-18 at 07:31, Steven Bosscher wrote:

> Removing an infinte loop is indeed wrong.  Hence this comment
> in tree-ssa-dce.c:
> 
>   /* Some blocks don't have an immediate post dominator.  This can happen
>      for example with infinite loops.  Removing an infinite loop is an
>      inappropriate transformation anyway...  */
> 
> If we remove that infinite loop, you found a bug.
> 
I've always hated this custom.  Is this a language mandate?  Or just
"we've always done it this way"?  Why not tell the user to use a
volatile index variable if they want the infinite loop?


Diego.