Searched defs:bindLoc (Results 1 – 2 of 2) sorted by relevance
656 inline const GRState *GRState::bindLoc(SVal LV, SVal V) const { in bindLoc() function
118 const GRState *GRState::bindLoc(Loc LV, SVal V) const { in bindLoc() function in GRState