[-Wunreachable-code] add a specialized diagnostic for unreachable increment expressions of loops.