Merge pull request github#14602 from aschackmull/java/split-dispatch-cached-stages

aschackmull · web-flow · commit c7be5ac527b3 · 2023-10-27T12:36:29.000+02:00
Java: Split the different layers of virtual dispatch into separate cached stages.
diff --git a/java/ql/lib/semmle/code/java/dispatch/VirtualDispatch.qll b/java/ql/lib/semmle/code/java/dispatch/VirtualDispatch.qll
@@ -48,7 +48,6 @@ class VirtCalledSrcMethod extends SrcMethod {
   }
 }
 
-cached
 private module Dispatch {
   /** Gets a viable implementation of the method called in the given method access. */
   cached

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,6 @@ class VirtCalledSrcMethod extends SrcMethod {`
`48`	`48`	`}`
`49`	`49`	`}`
`50`	`50`
`51`		`-cached`
`52`	`51`	`private module Dispatch {`
`53`	`52`	`/** Gets a viable implementation of the method called in the given method access. */`
`54`	`53`	`cached`