jlebar accepted this revision. jlebar added a comment. This revision is now accepted and ready to land. For my information, how are we verifying that we've caught everything? https://reviews.llvm.org/D43602