Lines Matching refs:removeRefBinding

43 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {  in removeRefBinding()  function
137     state = removeRefBinding(state, sym);  in VisitSymbol()
463         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
471         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
481       state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
781       return removeRefBinding(state, sym);  in updateSymbol()
812             return removeRefBinding(state, sym);  in updateSymbol()
821               return removeRefBinding(state, sym);  in updateSymbol()
828               return removeRefBinding(state, sym);  in updateSymbol()
1201     state = removeRefBinding(state, sym);  in checkRegionChanges()
1306     return removeRefBinding(state, sid);  in handleSymbolDeath()