Searched defs:ArgSVal (Results 1 – 2 of 2) sorted by relevance
330 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); in checkPreStmt() local
1973 SVal ArgSVal = Call.getArgSVal(I); in checkPreCall() local