是否“if”语句在模块之前和分配操作之前是冗余的?

Consider next code:

考虑下一个代码:

unsigned idx;
//.. some work with idx
if( idx >= idx_max )
    idx %= idx_max;
unsigned idx;