Lines Matching refs:removeRefBinding

42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {  in removeRefBinding()  function
136     state = removeRefBinding(state, sym);  in VisitSymbol()
464         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
472         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
482       state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
782       return removeRefBinding(state, sym);  in updateSymbol()
813             return removeRefBinding(state, sym);  in updateSymbol()
822               return removeRefBinding(state, sym);  in updateSymbol()
829               return removeRefBinding(state, sym);  in updateSymbol()
1202     state = removeRefBinding(state, sym);  in checkRegionChanges()
1307     return removeRefBinding(state, sid);  in handleSymbolDeath()