Lines Matching refs:Arg
71 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg);
353 const Expr* Arg = CE->getArg(ArgNum);
354 SymbolRef Sym = getPointedToSymbol(C, Arg);
428 const Expr* Arg) {
430 SVal AddrVal = State->getSVal(Arg
439 dyn_cast<PointerType>(Arg->getType().getCanonicalType().getTypePtr());
488 const Expr *Arg = CE->getArg(i);
490 const Type *ArgTy = Arg->getType().getTypePtr();
493 || (ArgTy->isReferenceType() && !Arg->getType().isConstQualified()))
514 // If argument 0 (file descriptor) is tainted, all arguments except for arg 0
515 // and arg 1 should get taint.
561 const Expr* Arg = CE->getArg(i);
562 SymbolRef Sym = getPointedToSymbol(C, Arg);
