Searched defs:NewSt (Results 1 – 1 of 1) sorted by relevance
266 ProgramState NewSt = *this; in BindExpr() local283 ProgramState NewSt = *this; in bindExprAndLocation() local375 ProgramState NewSt(*this); in makeWithStore() local462 ProgramState NewSt = *St; in addGDM() local