循环不变，没有返回值，是否可能？并且程序正确

So I'm writing this program that store user input on linked list and reverse it, but I'm a bit lost. Is it possible to come up a loop invariants for types of loop where it doesn't return any value? For example a loop that is located inside main.So I'm writing this program that store user inp