From d43b994557a948211d2f8e2d7e22b998ef837fb0 Mon Sep 17 00:00:00 2001
From: Fangrui Song <i@maskray.me>
Date: Mon, 3 Dec 2018 09:42:16 -0800
Subject: [PATCH] query: fix UpdateUses when a new entity is seen; simplify
 {DeclRef,Use,Usr}Update

Thanks to Leszek Swirski
---
 src/query.cc |  2 +-
 src/query.hh | 28 ++++++++++++----------------
 2 files changed, 13 insertions(+), 17 deletions(-)

diff --git a/src/query.cc b/src/query.cc
index 0906ee24..48247fac 100644
--- a/src/query.cc
+++ b/src/query.cc
@@ -264,7 +264,7 @@ void DB::ApplyIndexUpdate(IndexUpdate *u) {
           auto &entities, auto &p, bool hint_implicit) {
         auto R = entity_usr.try_emplace(usr, entity_usr.size());
         if (R.second)
-          vars.emplace_back().usr = usr;
+          entities.emplace_back().usr = usr;
         auto &entity = entities[R.first->second];
         for (Use &use : p.first) {
           if (hint_implicit && use.role & Role::Implicit) {
diff --git a/src/query.hh b/src/query.hh
index 60f23433..a624b04f 100644
--- a/src/query.hh
+++ b/src/query.hh
@@ -73,13 +73,9 @@ template <typename Q, typename QDef> struct QueryEntity {
   }
 };
 
-using DeclRefUpdate =
-    std::unordered_map<Usr,
-                       std::pair<std::vector<DeclRef>, std::vector<DeclRef>>>;
-using UseUpdate =
-    std::unordered_map<Usr, std::pair<std::vector<Use>, std::vector<Use>>>;
-using UsrUpdate =
-    std::unordered_map<Usr, std::pair<std::vector<Usr>, std::vector<Usr>>>;
+template <typename T>
+using Update =
+    std::unordered_map<Usr, std::pair<std::vector<T>, std::vector<T>>>;
 
 struct QueryFunc : QueryEntity<QueryFunc, FuncDef> {
   Usr usr;
@@ -126,25 +122,25 @@ struct IndexUpdate {
   int funcs_hint;
   std::vector<std::pair<Usr, QueryFunc::Def>> funcs_removed;
   std::vector<std::pair<Usr, QueryFunc::Def>> funcs_def_update;
-  DeclRefUpdate funcs_declarations;
-  UseUpdate funcs_uses;
-  UsrUpdate funcs_derived;
+  Update<DeclRef> funcs_declarations;
+  Update<Use> funcs_uses;
+  Update<Usr> funcs_derived;
 
   // Type updates.
   int types_hint;
   std::vector<std::pair<Usr, QueryType::Def>> types_removed;
   std::vector<std::pair<Usr, QueryType::Def>> types_def_update;
-  DeclRefUpdate types_declarations;
-  UseUpdate types_uses;
-  UsrUpdate types_derived;
-  UsrUpdate types_instances;
+  Update<DeclRef> types_declarations;
+  Update<Use> types_uses;
+  Update<Usr> types_derived;
+  Update<Usr> types_instances;
 
   // Variable updates.
   int vars_hint;
   std::vector<std::pair<Usr, QueryVar::Def>> vars_removed;
   std::vector<std::pair<Usr, QueryVar::Def>> vars_def_update;
-  DeclRefUpdate vars_declarations;
-  UseUpdate vars_uses;
+  Update<DeclRef> vars_declarations;
+  Update<Use> vars_uses;
 };
 
 struct DenseMapInfoForUsr {