JavaScript: Reinstate override.

Max Schaefer · Max Schaefer · commit df5a8651c361 · 2018-10-16T07:31:28.000+01:00
diff --git a/javascript/ql/src/semmle/javascript/dataflow/internal/InterModuleTypeInference.qll b/javascript/ql/src/semmle/javascript/dataflow/internal/InterModuleTypeInference.qll
@@ -263,6 +263,12 @@ private class AnalyzedVariableExport extends AnalyzedPropertyWrite, DataFlow::Va
     astNode = varDef.getTarget()
   }
 
+  override predicate writes(AbstractValue baseVal, string propName, DataFlow::AnalyzedNode source) {
+    baseVal = TAbstractExportsObject(export.getEnclosingModule()) and
+    propName = name and
+    source = varDef.getSource().analyze()
+  }
+
   override predicate writesValue(AbstractValue baseVal, string propName, AbstractValue val) {
     baseVal = TAbstractExportsObject(export.getEnclosingModule()) and
     propName = name and
