Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Arg

70   static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg);
352 const Expr* Arg = CE->getArg(ArgNum);
353 SymbolRef Sym = getPointedToSymbol(C, Arg);
427 const Expr* Arg) {
429 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext());
438 dyn_cast<PointerType>(Arg->getType().getCanonicalType().getTypePtr());
487 const Expr *Arg = CE->getArg(i);
489 const Type *ArgTy = Arg->getType().getTypePtr();
492 || (ArgTy->isReferenceType() && !Arg->getType().isConstQualified()))
513 // If argument 0 (file descriptor) is tainted, all arguments except for arg 0
514 // and arg 1 should get taint.
560 const Expr* Arg = CE->getArg(i);
561 SymbolRef Sym = getPointedToSymbol(C, Arg);