prevent join between getAValue() and DefiniteAbstractValue in AMD.qll

erik-krogh · erik-krogh · commit ea17de622587 · 2021-02-24T18:12:55.000+01:00
diff --git a/javascript/ql/src/semmle/javascript/AMD.qll b/javascript/ql/src/semmle/javascript/AMD.qll
@@ -158,7 +158,7 @@ class AmdModuleDefinition extends CallExpr {
     result = [getAnImplicitExportsValue(), getAnExplicitExportsValue()]
   }
 
-  pragma[noinline]
+  pragma[noinline, nomagic]
   private AbstractValue getAnImplicitExportsValue() {
     // implicit exports: anything that is returned from the factory function
     result = getModuleExpr().analyze().getAValue()

Original file line number	Diff line number	Diff line change
`@@ -158,7 +158,7 @@ class AmdModuleDefinition extends CallExpr {`
`158`	`158`	`result = [getAnImplicitExportsValue(), getAnExplicitExportsValue()]`
`159`	`159`	`}`
`160`	`160`
`161`		`- pragma[noinline]`
	`161`	`+ pragma[noinline, nomagic]`
`162`	`162`	`private AbstractValue getAnImplicitExportsValue() {`
`163`	`163`	`// implicit exports: anything that is returned from the factory function`
`164`	`164`	`result = getModuleExpr().analyze().getAValue()`