From eec7b926b0d05c30d9c467eebee13855114abf84 Mon Sep 17 00:00:00 2001 From: Aditya Sharad Date: Wed, 22 Dec 2021 12:07:07 -0800 Subject: [PATCH] JS: Add `this` reference for clarity No behaviour change. --- .../javascript/dataflow/internal/VariableTypeInference.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll b/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll index e4a7430a655..11c6fd64a33 100644 --- a/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll +++ b/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll @@ -217,7 +217,7 @@ private class AnalyzedImplicitInit extends AnalyzedSsaDefinition, SsaImplicitIni */ private class AnalyzedVariableCapture extends AnalyzedSsaDefinition, SsaVariableCapture { override AbstractValue getAnRhsValue() { - exists(LocalVariable v | v = getSourceVariable() | + exists(LocalVariable v | v = this.getSourceVariable() | result = v.(AnalyzedCapturedVariable).getALocalValue() or result = any(AnalyzedExplicitDefinition def | def.getSourceVariable() = v).getAnRhsValue()