[PATCH] fix misannotations in loop.c