Lines Matching refs:Checks
244 void EmitBinOpCheck(ArrayRef<std::pair<Value *, SanitizerMask>> Checks,
1202 llvm::SmallVector<std::pair<llvm::Value *, SanitizerMask>, 2> Checks; in EmitIntegerSignChangeCheck() local
1208 Checks.emplace_back(Check.second); in EmitIntegerSignChangeCheck()
1218 Checks.emplace_back(Check.second); in EmitIntegerSignChangeCheck()
1227 CGF.EmitCheck(Checks, SanitizerHandler::ImplicitConversion, StaticArgs, in EmitIntegerSignChangeCheck()
1571 ArrayRef<std::pair<Value *, SanitizerMask>> Checks, const BinOpInfo &Info) { in EmitBinOpCheck() argument
1614 CGF.EmitCheck(Checks, Check, StaticData, DynamicData); in EmitBinOpCheck()
3391 SmallVector<std::pair<llvm::Value *, SanitizerMask>, 2> Checks; in EmitUndefinedBehaviorIntegerDivAndRemCheck() local
3394 Checks.push_back(std::make_pair(Builder.CreateICmpNE(Ops.RHS, Zero), in EmitUndefinedBehaviorIntegerDivAndRemCheck()
3412 Checks.push_back( in EmitUndefinedBehaviorIntegerDivAndRemCheck()
3416 if (Checks.size() > 0) in EmitUndefinedBehaviorIntegerDivAndRemCheck()
3417 EmitBinOpCheck(Checks, Ops); in EmitUndefinedBehaviorIntegerDivAndRemCheck()
4115 SmallVector<std::pair<Value *, SanitizerMask>, 2> Checks; in EmitShl() local
4120 Checks.push_back( in EmitShl()
4155 Checks.push_back(std::make_pair( in EmitShl()
4160 assert(!Checks.empty()); in EmitShl()
4161 EmitBinOpCheck(Checks, Ops); in EmitShl()
5310 llvm::SmallVector<std::pair<llvm::Value *, SanitizerMask>, 2> Checks; in EmitCheckedInBoundsGEP() local
5330 Checks.emplace_back(Valid, SanitizerKind::PointerOverflow); in EmitCheckedInBoundsGEP()
5366 Checks.emplace_back(ValidGEP, SanitizerKind::PointerOverflow); in EmitCheckedInBoundsGEP()
5369 assert(!Checks.empty() && "Should have produced some checks."); in EmitCheckedInBoundsGEP()
5374 EmitCheck(Checks, SanitizerHandler::PointerOverflow, StaticArgs, DynamicArgs); in EmitCheckedInBoundsGEP()