From c511cc3444c5e0035b43f3da5819cdcc52f5f39e Mon Sep 17 00:00:00 2001
From: Dave Bartolomeo <dbartol@github.com>
Date: Mon, 8 Jun 2020 15:37:36 -0400
Subject: [PATCH] C++: Better caching for
 `getPrimaryInstructionForSideEffect()`

---
 .../code/cpp/ir/implementation/raw/internal/IRConstruction.qll  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
index f7412062b75..45af0a11f3c 100644
--- a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
+++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
@@ -392,7 +392,7 @@ private module Cached {
   }
 
   cached
-  Instruction getPrimaryInstructionForSideEffect(Instruction instruction) {
+  Instruction getPrimaryInstructionForSideEffect(SideEffectInstruction instruction) {
     exists(TranslatedElement element, InstructionTag tag |
       instructionOrigin(instruction, element, tag) and
       result = element.getPrimaryInstructionForSideEffect(tag)