New const function detection code and infinite loops.

[Jeffrey A Law]

  In message < Pine.LNX.3.95.990823041510.19326B-100000@u-sl0.ms.mff.cuni.cz >you
 write:
  > >   > It is OK to remove call to function containing infinite loop?
  > > IMHO yes.  A function with an infinite loop should never be const.
  > Thats true. But our new const detection code will happily mark such
  > function to be const. Thats wrong (because that function will be removed)
Then that code is wrong.

jeff