Add message if no locations annotated

It's best to show something when we don't know where a loop is located. This
adds such a message.