erikjv added a comment. Yes, the patch was not committed, because there were errors in it. So, I fixed it and put up a new version, but I have no idea how to reset the state. Still waiting for rsmith to review... https://reviews.llvm.org/D15994