Skip to content

Commit 7c0c820

Browse files
committed
Swift: Accept fixed spurious result.
1 parent 6110243 commit 7c0c820

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
failures
22
testFailures
3-
| string.swift:436:20:437:1 | // $ SPURIOUS: tainted=366\n | Fixed spurious result:tainted=366 |

swift/ql/test/library-tests/dataflow/taint/libraries/string.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -433,7 +433,7 @@ func taintThroughEncodings() {
433433

434434
clean.withContiguousStorageIfAvailable({
435435
ptr in
436-
sink(arg: ptr) // $ SPURIOUS: tainted=366
436+
sink(arg: ptr)
437437
sink(arg: ptr.baseAddress!)
438438
})
439439
tainted.withContiguousStorageIfAvailable({

0 commit comments

Comments
 (0)