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 __anon4328b1950111::StopTrackingCallback177 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()1145 state = state->scanReachableSymbols<StopTrackingCallback>(val).getState(); in checkBind()
1053 class StopTrackingCallback final : public SymbolVisitor { class1057 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} in StopTrackingCallback() function in __anon5ae12f910711::StopTrackingCallback2987 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()