Skip to content

Commit 1132e78

Browse files
yoffCopilot
andauthored
Apply suggestions from code review
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
1 parent 9c2ce6a commit 1132e78

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
---
22
category: minorAnalysis
33
---
4-
* When a guard such as `isSafe(x)` is defined, we now also automatically handle `isSafe(x) == true` and `isSafe(x) != false`.
4+
* When a guard such as `isSafe(x)` is defined, we now also automatically handle comparisons to boolean literals such as `isSafe(x) is True`, `isSafe(x) == True`, `isSafe(x) is not False`, and `isSafe(x) != False`.

python/ql/test/library-tests/dataflow/tainttracking/customSanitizer/test_logical.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -233,7 +233,7 @@ def test_comparison_with_bool():
233233
if is_safe(s) is not False:
234234
ensure_not_tainted(s)
235235
else:
236-
ensure_tainted(s) # $ tainted
236+
ensure_tainted(s) # $ tainted
237237

238238
# Make tests runable
239239

0 commit comments

Comments
 (0)