We know, #undefinedbehavior is out of compilers' scope, but it doesn't mean that the codebase has immunity. Here's a classic UB scenario, triggered only if 'regIdx == 31'. Probably, it seems impossible or very unlikely, so the error has been unnoticed. But who knows what tomorrow will bring?