Skip to content

Commit 883543f

Browse files
committed
Swift: force high precision for arraycontent
1 parent 093c690 commit 883543f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -894,7 +894,7 @@ int accessPathLimit() { result = 5 }
894894
* Holds if access paths with `c` at their head always should be tracked at high
895895
* precision. This disables adaptive access path precision for such access paths.
896896
*/
897-
predicate forceHighPrecision(Content c) { none() }
897+
predicate forceHighPrecision(Content c) { c instanceof Content::ArrayContent }
898898

899899
/**
900900
* Holds if the node `n` is unreachable when the call context is `call`.

0 commit comments

Comments
 (0)