Searched refs:VASubExpr (Results 1 – 1 of 1) sorted by relevance
189 const Expr *VASubExpr = VAA->getSubExpr(); in checkPreStmt() local190 SVal VAListSVal = C.getSVal(VASubExpr); in checkPreStmt()193 getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C); in checkPreStmt()