Searched refs:StopTrackingCallback (Results 1 – 2 of 2) sorted by relevance
130 class StopTrackingCallback final : public SymbolVisitor { class133 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} in StopTrackingCallback() function in __anon80a3d9b10111::StopTrackingCallback177 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()1145 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
977 class StopTrackingCallback final : public SymbolVisitor { in isReleased() 981 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {}3042 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkUseZeroAllocated() 1053 class StopTrackingCallback final : public SymbolVisitor { global() class 1057 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} StopTrackingCallback() function in __anonfd3743ad0711::StopTrackingCallback