We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 98f68cb commit 6359c44Copy full SHA for 6359c44
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -312,7 +312,9 @@ int accessPathLimit() { result = 5 }
312
* Holds if accesspaths with `c` at their head always should be tracked at high
313
* precision. This disables adaptive accesspath precision for such accesspaths.
314
*/
315
-predicate forceHighPrecision(Content c) { c instanceof ArrayContent or c instanceof CollectionContent }
+predicate forceHighPrecision(Content c) {
316
+ c instanceof ArrayContent or c instanceof CollectionContent
317
+}
318
319
/**
320
* Holds if `n` does not require a `PostUpdateNode` as it either cannot be
0 commit comments