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