codeql/python/ql/test/library-tests/ControlFlow/except/test.py at codeql-cli/v2.25.1 · github/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
#Ensure there is an exceptional edge from the following case


def f2():
    b, d = Base, Derived
    try:
        class MyNewClass(b, d):
            pass
    except:
        e2

def f3():
    sequence_of_four = a_global
    try:
        a, b, c = sequence_of_four
    except:
        e3

#Always treat locals as non-raising to keep DB size down.
def f4():
    if cond:
        local = 1
    try:
        local
    except:
        e4

def f5():
    try:
        a_global
    except:
        e5

def f6():
    local = a_global
    try:
        local()
    except:
        e6

#Literals can't raise
def f7():
    try:
        4
    except:
        e7

def f8():
    try:
        a + b
    except:
        e8


#OK assignments
def f9():
    try:
        a, b = 1, 2
    except:
        e9

def fa():
    seq = a_global
    try:
        a = seq
    except:
        ea

def fb():
    a, b, c = a_global
    try:
        seq = a, b, c
    except:
        eb

#Ensure that a.b and c[d] can raise

def fc():
    a, b = a_global
    try:
        return a[b]
    except:
        ec

def fd():
    a = a_global
    try:
        return a.b
    except:
        ed


def fe():
    try:
        call()
    except:
        ee
    else:
        ef