From a user's point of view infinite loops are desirable, because they are often a source of bugs. At least in libFirm's case, many of the csmith-discovered bugs we fixed so far were somehow connected to infinite loops.
Thanks, Andreas -- this kind of feedback is extremely useful to us. John