Searched refs:VAListSVal (Results 1 – 1 of 1) sorted by relevance
189 SVal VAListSVal = C.getSVal(VASubExpr); in checkPreStmt() local192 getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C); in checkPreStmt()