Lines Matching refs:sym
169 const SymbolRef *sym) const;
285 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const {
294 ConditionTruthVal retZero = CMgr.isNull(state, *sym);
303 // Removing the map entry (lockR, sym) from DestroyRetVal as the lock state is
395 const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
396 if (sym)
397 state = resolvePossiblyDestroyedMutex(state, lockR, sym);
478 const SymbolRef *sym = state->get<DestroyRetVal>(lockR);
479 if (sym)
480 state = resolvePossiblyDestroyedMutex(state, lockR, sym);
552 const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
553 if (sym)
554 State = resolvePossiblyDestroyedMutex(State, LockR, sym);
561 SymbolRef sym = Call.getReturnValue().getAsSymbol();
562 if (!sym) {
567 State = State->set<DestroyRetVal>(LockR, sym);
619 const SymbolRef *sym = State->get<DestroyRetVal>(LockR);
620 if (sym)
621 State = resolvePossiblyDestroyedMutex(State, LockR, sym);