Searched refs:NewSt (Results 1 – 3 of 3) sorted by relevance
311 ProgramState NewSt = *this; in BindExpr() local312 NewSt.Env = NewEnv; in BindExpr()313 return getStateManager().getPersistentState(NewSt); in BindExpr()435 ProgramState NewSt(*this); in makeWithStore() local436 NewSt.setStore(store); in makeWithStore()437 return getStateManager().getPersistentState(NewSt); in makeWithStore()441 ProgramState NewSt(*this); in cloneAsPosteriorlyOverconstrained() local442 NewSt.PosteriorlyOverconstrained = true; in cloneAsPosteriorlyOverconstrained()443 return getStateManager().getPersistentState(NewSt); in cloneAsPosteriorlyOverconstrained()528 ProgramState NewSt = *St; in addGDM() local[all …]
2581 SDValue NewSt = in LowerSTOREVector() local2586 return NewSt; in LowerSTOREVector()
19860 if (SDValue NewSt = replaceStoreOfFPConstant(ST)) in visitSTORE() local19861 return NewSt; in visitSTORE()19864 if (SDValue NewSt = splitMergedValStore(ST)) in visitSTORE() local19865 return NewSt; in visitSTORE()