Allen abandoned this revision. Allen added a comment. as the discussion above, the miscompile doesn't need to be handled because alive2 doesn't have the right memcmp semantics. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D149542/new/ https://reviews.llvm.org/D149542