Lines Matching defs:ArgIdxTy

67 using ArgIdxTy = int;
68 using ArgVecTy = llvm::SmallVector<ArgIdxTy, 2>;
71 constexpr ArgIdxTy ReturnValueIndex{-1};
73 static ArgIdxTy fromArgumentCount(unsigned Count) {
75              static_cast<std::size_t>(std::numeric_limits<ArgIdxTy>::max()) &&
76          "ArgIdxTy is not large enough to represent the number of arguments.");
152                                      std::vector<ArgIdxTy> TaintedArgs,
182     std::vector<ArgIdxTy> TaintedArgs, const LocationContext *CallLocation) {
225          std::optional<ArgIdxTy> VariadicIndex = std::nullopt)
229   bool contains(ArgIdxTy ArgIdx) const {
240   std::optional<ArgIdxTy> VariadicIndex;
300   /// Handles the resolution of indexes of type ArgIdxTy to Expr*-s.
301   static const Expr *GetArgExpr(ArgIdxTy ArgIdx, const CallEvent &Call) {
334     ArgIdxTy VarIndex;
475                                ImmutableSet<ArgIdxTy>)
476 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(ArgIdxFactory, ArgIdxTy)
480   for (ArgIdxTy Arg : Args) {
535   std::optional<ArgIdxTy> JustVarIndex = P.VarIndex;
867   const ImmutableSet<ArgIdxTy> *TaintArgs = TaintArgsMap.lookup(CurrentFrame);
872   LLVM_DEBUG(for (ArgIdxTy I
881   std::vector<ArgIdxTy> TaintedIndexes;
882   for (ArgIdxTy ArgNum : *TaintArgs) {
922   const ArgIdxTy CallNumArgs = fromArgumentCount(Call.getNumArgs());
926     for (ArgIdxTy I = ReturnValueIndex; I < CallNumArgs; ++I) {
933   ForEachCallArg([this, &Checker, &C, &State](ArgIdxTy I, const Expr *E, SVal) {
943   ForEachCallArg([this, &State](ArgIdxTy I, const Expr *E, SVal S) {
958   std::vector<ArgIdxTy> TaintedIndexes;
960                   &TaintedIndexes](ArgIdxTy I, const Expr *E, SVal) {
995   ImmutableSet<ArgIdxTy> Result = F.getEmptySet();
997       [&](ArgIdxTy I, const Expr *E, SVal V) {
1069                                        ArgIdxTy &ArgNum) {
1080   const ArgIdxTy CallNumArgs = fromArgumentCount(Call.getNumArgs());
1094   ArgIdxTy ArgNum = 0;
1124   ImmutableSet<ArgIdxTy> Result = F.add(F.getEmptySet(), ReturnValueIndex);