UnboundList: Cache encode

Author: hvitved

rust/ql/lib/codeql/rust/internal/typeinference/DerefChain.qll

@@ -60,7 +60,10 @@ private module UnboundListInput implements UnboundListImpl::InputSig<Location> {
 
   class Element = DerefImplItemNode;
 
-  int getId(Element e) { idOfRaw(Synth::convertAstNodeToRaw(e), result) }
+  int getId(Element e) {
+    CachedStage::ref() and
+    idOfRaw(Synth::convertAstNodeToRaw(e), result)
+  }
 
   string getElementString(Element e) { result = e.resolveSelfTy().getName() }
 

rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

@@ -36,6 +36,7 @@ private module Input1 implements InputSig1<Location> {
   class TypeAbstraction = TA::TypeAbstraction;
 
   int getTypeParameterId(TypeParameter tp) {
+    CachedStage::ref() and
     tp =
       rank[result](TypeParameter tp0, int kind, int id1, int id2 |
         kind = 1 and

shared/util/codeql/util/UnboundList.qll

@@ -52,6 +52,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
   /** Gets the rank of element `e`, which is used internally in the string encoding. */
   int getRank(Element e) { e = DenseRank<DenseRankInput>::denseRank(result) }
 
+  cached
   private string encode(Element e) { result = getRank(e).toString() }
 
   bindingset[s]