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 __anon3901bfb60111::StopTrackingCallback179 state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()1147 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 __anon4d168ab20711::StopTrackingCallback2987 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()