On Sat, 10 Jun 2017, Gerald Pfeifer wrote: > I'm curious to see how many issues this is going to find in real-world > code out there!
This is a bit anecdotal, but your code did find one real issue in Wine: https://www.winehq.org/pipermail/wine-patches/2017-July/163551.html (and https://www.winehq.org/pipermail/wine-patches/2017-July/163550.html ) The first patch was accepted, the second (but earlier one) not. Gerald