* src/SDCCloop.c (loopInvariants): fixed bug #1234048