Python points-to: Fix ordering of string constants.

markshannon · markshannon · commit 1ed3e5d9bc2a · 2019-05-29T15:02:59.000+01:00
diff --git a/python/ql/src/semmle/python/pointsto/PointsTo.qll b/python/ql/src/semmle/python/pointsto/PointsTo.qll
@@ -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]
diff --git a/python/ql/test/library-tests/PointsTo/comparisons/PointsTo.expected b/python/ql/test/library-tests/PointsTo/comparisons/PointsTo.expected
@@ -1,4 +1,3 @@
-| 2 | bool False |
 | 2 | bool True |
 | 3 | bool False |
 | 6 | bool True |
