Skip to content

Commit

Permalink
release constraint in function check in the optimized module. Now it …
Browse files Browse the repository at this point in the history
…skips the verification if it doesn't exist
  • Loading branch information
spica authored and spica committed Nov 10, 2023
1 parent 0a01df4 commit 8331e13
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions tools/alive-mutate.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -502,8 +502,9 @@ void runOnce(int ith, Mutator &mutator) {
std::unique_ptr<llvm::Module> M2 = llvm::CloneModule(*M1);
llvm_util::optimize_module(M2.get(), optPass);
llvm::Function *pf2 = M2->getFunction(pf1->getName());
assert(pf2 != nullptr && "pf2 clone failed");
verifier->compareFunctions(*pf1, *pf2);
if (pf2 != nullptr) {
verifier->compareFunctions(*pf1, *pf2);
}
if (verifier->num_correct == 0) {
shouldLog = true;
}
Expand Down

0 comments on commit 8331e13

Please sign in to comment.