Java: Fixup private

This commit is contained in:
Anders Schack-Mulligen
2025-02-07 15:46:06 +01:00
committed by Tom Hvitved
parent 75137a0f4c
commit 284e48cfbe

View File

@@ -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.