Fix side of stack that gen method types are used

Sauyon Lee · Sauyon Lee · commit 97faeb026f42 · 2021-08-27T11:25:03.000-07:00
diff --git a/java/ql/src/utils/FlowTestCase.qll b/java/ql/src/utils/FlowTestCase.qll
@@ -240,7 +240,7 @@ class TestCase extends TTestCase {
     or
     exists(SummaryComponentStack s | s.tail() = stack |
       // we currently only know the type if the stack is one level in
-      if s = input
+      if stack = baseInput
       then result = SupportMethod::genMethodFor(this.getInputType(), s).getCall(this.getInput(s))
       else result = SupportMethod::genMethodForContent(s).getCall(this.getInput(s))
     )

Original file line number	Diff line number	Diff line change
`@@ -240,7 +240,7 @@ class TestCase extends TTestCase {`
`240`	`240`	`or`
`241`	`241`	`exists(SummaryComponentStack s \| s.tail() = stack \|`
`242`	`242`	`// we currently only know the type if the stack is one level in`
`243`		`- if s = input`
	`243`	`+ if stack = baseInput`
`244`	`244`	`then result = SupportMethod::genMethodFor(this.getInputType(), s).getCall(this.getInput(s))`
`245`	`245`	`else result = SupportMethod::genMethodForContent(s).getCall(this.getInput(s))`
`246`	`246`	`)`