Fix UB in vector<bool> by adding missing special case by AlexGuteniev · Pull Request #5726 · microsoft/STL (original) (raw)

Looks like that the affect statements can be executed in constant execution. Can we add a constexpr-friendly test case?

Adding constexpr coverage sounds like a good idea.

But I'm against a test case for this specific branch. Think that we should be systematic, and make the entire coverage constexpr, except huge and random.

And this larger change looks like out of scope, I want to fix specific bug, for which there is already expected ubsan coverage.