misleading output for infinite loop?

[regehr]

for the function below, alive-tv says "WARNING: Source function is always UB."

but this isn't true, is it? I mean, since the mustprogress attribute isn't here, the function is perfectly well defined.

Alive also says ERROR: The source program doesn't reach a return instruction. so perhaps we simply want to suppress the earlier warning in the case where we're going to print this error?

define void @test() {
entry:
  br label %for.body
for.body:
  br label %for.body
}