We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 33eaf39 commit c8290ceCopy full SHA for c8290ce
clang/lib/CodeGen/CodeGenFunction.cpp
@@ -434,15 +434,16 @@ void CodeGenFunction::EmitContractStmt(const ContractStmt &S) {
434
EmitHandleContractViolationCall(
435
S, ContractViolationDetection::PredicateFailed);
436
}
437
+
438
if (Semantic != ContractEvaluationSemantic::Observe) {
439
llvm::CallInst *TrapCall = EmitTrapCall(llvm::Intrinsic::trap);
440
TrapCall->setDoesNotReturn();
441
TrapCall->setDoesNotThrow();
442
Builder.CreateUnreachable();
443
Builder.ClearInsertionPoint();
444
- Builder.CreateBr(End);
445
446
+ Builder.CreateBr(End);
447
Builder.SetInsertPoint(End);
448
449
0 commit comments