Skip to content

Commit da6a429

Browse files
committed
Swift: Implement ContentApprox
1 parent 24b1da4 commit da6a429

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

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

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -686,3 +686,10 @@ predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preserves
686686
* by default as a heuristic.
687687
*/
688688
predicate allowParameterReturnInSelf(ParameterNode p) { none() }
689+
690+
/** An approximated `Content`. */
691+
class ContentApprox = Unit;
692+
693+
/** Gets an approximated value for content `c`. */
694+
pragma[inline]
695+
ContentApprox getContentApprox(Content c) { any() }

0 commit comments

Comments
 (0)