Lines Matching defs:Checks

258   void EmitBinOpCheck(ArrayRef<std::pair<Value *, SanitizerMask>> Checks,
1231   llvm::SmallVector<std::pair<llvm::Value *, SanitizerMask>, 2> Checks;
1237   Checks.emplace_back(Check.second);
1247     Checks.emplace_back(Check.second);
1257   CGF.EmitCheck(Checks, SanitizerHandler::ImplicitConversion, StaticArgs,
1728 /// operation). The check passes if all values in \p Checks (which are \c i1),
1731     ArrayRef<std::pair<Value *, SanitizerMask>> Checks, const BinOpInfo &Info) {
1774   CGF.EmitCheck(Checks, Check, StaticData, DynamicData);
3696   SmallVector<std::pair<llvm::Value *, SanitizerMask>, 2> Checks;
3699     Checks.push_back(std::make_pair(Builder.CreateICmpNE(Ops.RHS, Zero),
3717     Checks.push_back(
3721   if (Checks.size() > 0)
3722     EmitBinOpCheck(Checks, Ops);
4056 // Checks that (a) the operation is fusable, and (b) -ffp-contract=on.
4466     SmallVector<std::pair<Value *, SanitizerMask>, 2> Checks;
4473       Checks.push_back(
4508       Checks.push_back(std::make_pair(
4513     assert(!Checks.empty());
4514     EmitBinOpCheck(Checks, Ops);
5767   llvm::SmallVector<std::pair<llvm::Value *, SanitizerMask>, 2> Checks;
5787     Checks.emplace_back(Valid, SanitizerKind::PointerOverflow);
5823     Checks.emplace_back(ValidGEP, SanitizerKind::PointerOverflow);
5826   assert(!Checks.empty() && "Should have produced some checks.");
5831   EmitCheck(Checks, SanitizerHandler::PointerOverflow, StaticArgs, DynamicArgs);