Searched refs:VAListPos (Results 1 – 1 of 1) sorted by relevance
36 int VAListPos; member141 getVAListAsRegion(Call.getArgSVal(FuncInfo.VAListPos), in checkPreCall()142 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C); in checkPreCall()