in cnova/MISRA_inspections.cpp [66:73]
void check_loop() { for (int x = 0; x < 10; x += inc_func()) {} int y = 0; for (int x = 0; x < y; x = y++) {} }