hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Show how pointsTo handles 0+0 == 0 (2/2)

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2020-02-03 14:04:27 +01:00
parent 4231bb1bcf
commit 2837f987c5
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -12,6 +12,10 @@
| 21 | file://:0:0:0:0 | bool True |
| 22 | file://:0:0:0:0 | bool False |
| 22 | file://:0:0:0:0 | bool True |
| 24 | file://:0:0:0:0 | bool False |
| 24 | file://:0:0:0:0 | bool True |
| 25 | file://:0:0:0:0 | bool False |
| 25 | file://:0:0:0:0 | bool True |
| 28 | file://:0:0:0:0 | bool False |
| 29 | file://:0:0:0:0 | bool False |
| 30 | file://:0:0:0:0 | bool True |

4
python/ql/test/library-tests/PointsTo/comparisons/test.py
View File

@@ -21,8 +21,8 @@ len(unknown()) < 7
len(unknown()) == len(unknown())
len(unknown()) < len(unknown())
# 0+0 == 0
# 0+1 == 0
0+0 == 0
0+1 == 0
#All ops
2 > 3