Searched refs:NewSt (Results 1 – 1 of 1) sorted by relevance
255 GRState NewSt = *this; in BindExpr() local256 NewSt.Env = NewEnv; in BindExpr()257 return getStateManager().getPersistentState(NewSt); in BindExpr()268 GRState NewSt = *this; in bindExprAndLocation() local269 NewSt.Env = NewEnv; in bindExprAndLocation()270 return getStateManager().getPersistentState(NewSt); in bindExprAndLocation()364 GRState NewSt = *this; in makeWithStore() local365 NewSt.setStore(store); in makeWithStore()366 return getStateManager().getPersistentState(NewSt); in makeWithStore()499 GRState NewSt = *St; in addGDM() local[all …]