* src/SDCCast.c (isLoopCountable): fixed bug #1478316