DF usage in loop-invariant.c (PR46590)