hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 12:15:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python points-to: Fix ordering of string constants.

Browse Source
This commit is contained in:
Mark Shannon
2019-05-29 14:33:29 +01:00
parent 7181a025f8
commit 1ed3e5d9bc
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/src/semmle/python/pointsto/PointsTo.qll
View File

@@ -1318,9 +1318,9 @@ module Expressions {
or
val.strValue() < other.strValue() and result = -1
or
val.strValue() > other.strValue() and result = 0
val.strValue() > other.strValue() and result = 1
or
val.strValue() = other.strValue() and result = 1
val.strValue() = other.strValue() and result = 0
}
pragma [nomagic]

1
python/ql/test/library-tests/PointsTo/comparisons/PointsTo.expected
View File

@@ -1,4 +1,3 @@
| 2 | bool False |
| 2 | bool True |
| 3 | bool False |
| 6 | bool True |