In the areas I've worked these sorts of cases would have been picked up by tests, and especially checking for correctness of output between different optimisati

In the areas I've worked these sorts of cases would have been picked up by tests, and especially checking for correctness of output between different optimisation levels. But I can concede that that's perhaps not the standard sort of workflow for many C/C++ developers.