Searched refs:NewSt (Results 1 – 3 of 3) sorted by relevance
310 ProgramState NewSt = *this; in BindExpr() local311 NewSt.Env = NewEnv; in BindExpr()312 return getStateManager().getPersistentState(NewSt); in BindExpr()434 ProgramState NewSt(*this); in makeWithStore() local435 NewSt.setStore(store); in makeWithStore()436 return getStateManager().getPersistentState(NewSt); in makeWithStore()452 ProgramState NewSt(*this); in cloneAsPosteriorlyOverconstrained() local453 NewSt.PosteriorlyOverconstrained = true; in cloneAsPosteriorlyOverconstrained()454 return getStateManager().getPersistentState(NewSt); in cloneAsPosteriorlyOverconstrained()559 ProgramState NewSt = *St; in addGDM() local[all …]
3258 SDValue NewSt = in LowerSTOREVector() local3263 return NewSt; in LowerSTOREVector()
22706 if (SDValue NewSt = replaceStoreOfFPConstant(ST)) in visitSTORE() local22707 return NewSt; in visitSTORE()22710 if (SDValue NewSt = splitMergedValStore(ST)) in visitSTORE() local22711 return NewSt; in visitSTORE()