Java: Fixup private

aschackmull · hvitved · commit 284e48cfbe61 · 2025-02-11T10:06:45.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/SsaImpl.qll
@@ -44,7 +44,7 @@ private module TrackedVariablesImpl {
   }
 
   /** Holds if `f` is accessed more than once or inside a loop. */
-  predicate multiAccessed(SsaSourceField f) { loopAccessed(f) or 1 < numberOfAccesses(f) }
+  private predicate multiAccessed(SsaSourceField f) { loopAccessed(f) or 1 < numberOfAccesses(f) }
 
   /**
    * Holds if `f` is a field that is interesting as a basis for SSA.

Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@ private module TrackedVariablesImpl {`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	/** Holds if `f` is accessed more than once or inside a loop. */
`47`		`- predicate multiAccessed(SsaSourceField f) { loopAccessed(f) or 1 < numberOfAccesses(f) }`
	`47`	`+ private predicate multiAccessed(SsaSourceField f) { loopAccessed(f) or 1 < numberOfAccesses(f) }`
`48`	`48`
`49`	`49`	`/**`
`50`	`50`	* Holds if `f` is a field that is interesting as a basis for SSA.