loop invariant

[4eFFWNW]

How do i calculate the loop invariant of

while (A > 1) {
A = A / 32;
}
{A = 1}

Here A is an integer

[MK27]

You could infer A >= 0.

[iMalc]

This loop invariant is false only if the loop condition is false so there's no point in having it.
You should not be asked to specify a loop invarant for this loop, there is no point.
'A' may be zero or one after the loop.