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 __anonb730bbb40111::StopTrackingCallback177 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()1145 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
977 class StopTrackingCallback final : public SymbolVisitor { class981 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} in StopTrackingCallback() function in __anon63f02cb00711::StopTrackingCallback3042 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()