File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
swift/ql/lib/codeql/swift/dataflow/internal Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -71,11 +71,11 @@ predicate summaryElement(
7171}
7272
7373/**
74- * Holds if a negative flow summary exists for `c`, which means that there is no
75- * flow through `c`. The flag `generated` states whether the summary is autogenerated.
76- * Note. Negative flow summaries has not been implemented for swift.
74+ * Holds if a neutral model exists for `c`, which means that there is no
75+ * flow through `c`. The flag `generated` states whether the neutral model is autogenerated.
76+ * Note. Neutral models have not been implemented for swift.
7777 */
78- predicate negativeSummaryElement ( AbstractFunctionDecl c , boolean generated ) { none ( ) }
78+ predicate neutralElement ( AbstractFunctionDecl c , boolean generated ) { none ( ) }
7979
8080/**
8181 * Holds if an external source specification exists for `e` with output specification
You can’t perform that action at this time.
0 commit comments