Home | History | Annotate | Download | only in Checkers

Lines Matching full:arg0val

1904   SVal Arg0Val = State->getSVal(arg0Expr, LCtx);
1905   if (!Arg0Val.getAs<DefinedOrUnknownSVal>())
1907   DefinedOrUnknownSVal arg0Val = Arg0Val.castAs<DefinedOrUnknownSVal>();
1912     svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
1952   SymbolRef FromPtr = arg0Val.getAsSymbol();