mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
e45f6e9b24
These get to live next to the existing library and query tests, and are run as part of both the Python 2 and Python 3 language tests.
112 lines
1.4 KiB
Python
112 lines
1.4 KiB
Python
|
|
|
|
def cmp1(x):
|
|
if x < 3:
|
|
reachable
|
|
if x == 0:
|
|
reachable
|
|
|
|
def cmp2(x):
|
|
if x == 0:
|
|
reachable
|
|
if x < 3:
|
|
reachable
|
|
|
|
def cmp3(x):
|
|
if x < 3:
|
|
reachable
|
|
if x >= 3:
|
|
reachable
|
|
|
|
def cmp4(x):
|
|
if x < 3:
|
|
reachable
|
|
if x > 3:
|
|
reachable
|
|
|
|
def cmp5(x):
|
|
if x != 3:
|
|
reachable
|
|
elif x > 3:
|
|
unreachable
|
|
|
|
def cmp6(x):
|
|
if x < 3:
|
|
reachable
|
|
elif x < 3:
|
|
unreachable
|
|
|
|
def cmp7(x):
|
|
if x < 3:
|
|
reachable
|
|
elif x < 2:
|
|
unreachable
|
|
|
|
def cmp8(x):
|
|
if x < 3:
|
|
reachable
|
|
elif x == 3:
|
|
reachable
|
|
|
|
def cmp9(x):
|
|
if x < 3:
|
|
reachable
|
|
elif x == 2:
|
|
unreachable
|
|
|
|
|
|
def cmp11(x):
|
|
if x > 3:
|
|
reachable
|
|
if x == 0:
|
|
reachable
|
|
|
|
def cmp12(x):
|
|
if x == 0:
|
|
reachable
|
|
if x > 3:
|
|
reachable
|
|
|
|
def cmp13(x):
|
|
if x > 3:
|
|
reachable
|
|
if x <= 3:
|
|
reachable
|
|
|
|
def cmp14(x):
|
|
if x > 3:
|
|
reachable
|
|
if x < 3:
|
|
reachable
|
|
|
|
def cmp15(x):
|
|
if x != 3:
|
|
reachable
|
|
elif x < 3:
|
|
unreachable
|
|
|
|
def cmp16(x):
|
|
if x > 3:
|
|
reachable
|
|
elif x > 3:
|
|
unreachable
|
|
|
|
def cmp17(x):
|
|
if x > 3:
|
|
reachable
|
|
elif x > 4:
|
|
unreachable
|
|
|
|
def cmp18(x):
|
|
if x > 3:
|
|
reachable
|
|
elif x == 3:
|
|
reachable
|
|
|
|
def cmp19(x):
|
|
if x > 3:
|
|
reachable
|
|
elif x == 4:
|
|
unreachable
|
|
|