Searched defs:bindLoc (Results 1 – 2 of 2) sorted by relevance
653 inline ProgramStateRef ProgramState::bindLoc(SVal LV, SVal V) const { in bindLoc() function
114 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V, bool notifyChanges) const { in bindLoc() function in ProgramState