3 ms·

I think the compiler that you were using is broken. One can't infer "index < 32" unless on a code path to a use of "flag", and that inference can't override th

I think the compiler that you were using is broken. One can't infer "index < 32" unless on a code path to a use of "flag", and that inference can't override the predicates that dominate that use.

bonzini 5y ago
No, the initializer already counts as a use of the undefined expression.
- pklausler 5y ago
  You're right. Thanks!