Searched refs:liveValues (Results 1 – 1 of 1) sorted by relevance
142 bool wasProvenLive(Value value) { return liveValues.count(value); } in wasProvenLive()144 changed |= liveValues.insert(value).second; in setProvedLive()157 DenseSet<Value> liveValues; member in __anon5f4b83130311::LiveMap