On 2006-12-31 11:01:45 -0500, Robert Dewar wrote: > The issues are > > a) are these optimizations valuable? (and if so, in all cases, > or only in practice for loop invariants?).
Even if they aren't valuable today, you don't know what will happen in future code. So, there's another issue: is it OK to encourage bad practice (possibly as a side effect by making a difference between loop invariants and other cases)? -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
