6a03f31e50
Previously unsafe call is reported as part of InapplicableWrongReceiver. This makes it difficult for the downstream checkers to report different diagnostics.
865 lines
30 KiB
Plaintext
Vendored
865 lines
30 KiB
Plaintext
Vendored
digraph boundSmartcastsInBranches_kt {
|
|
graph [nodesep=3]
|
|
node [shape=box penwidth=2]
|
|
edge [penwidth=2]
|
|
|
|
subgraph cluster_0 {
|
|
color=red
|
|
0 [label="Enter class A" style="filled" fillcolor=red];
|
|
1 [label="Part of class initialization"];
|
|
2 [label="Exit class A" style="filled" fillcolor=red];
|
|
}
|
|
0 -> {1} [color=green];
|
|
1 -> {2} [style=dotted];
|
|
1 -> {6} [color=green];
|
|
1 -> {6} [style=dashed];
|
|
|
|
subgraph cluster_1 {
|
|
color=red
|
|
3 [label="Enter function <init>" style="filled" fillcolor=red];
|
|
4 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
|
|
5 [label="Exit function <init>" style="filled" fillcolor=red];
|
|
}
|
|
3 -> {4};
|
|
4 -> {5};
|
|
|
|
subgraph cluster_2 {
|
|
color=red
|
|
6 [label="Enter property" style="filled" fillcolor=red];
|
|
7 [label="Const: String()"];
|
|
8 [label="Exit property" style="filled" fillcolor=red];
|
|
}
|
|
6 -> {7};
|
|
7 -> {8};
|
|
8 -> {2} [color=green];
|
|
|
|
subgraph cluster_3 {
|
|
color=red
|
|
9 [label="Enter function test_0" style="filled" fillcolor=red];
|
|
subgraph cluster_4 {
|
|
color=blue
|
|
10 [label="Enter block"];
|
|
11 [label="Const: Null(null)"];
|
|
12 [label="Variable declaration: lvar goodA: R|A?|"];
|
|
subgraph cluster_5 {
|
|
color=blue
|
|
13 [label="Enter block"];
|
|
14 [label="Access variable R|<local>/list|"];
|
|
15 [label="Function call: R|<local>/list|.R|SubstitutionOverride<kotlin/collections/List.iterator: R|kotlin/collections/Iterator<A>|>|()"];
|
|
16 [label="Variable declaration: lval <iterator>: R|kotlin/collections/Iterator<A>|"];
|
|
subgraph cluster_6 {
|
|
color=blue
|
|
17 [label="Enter while loop"];
|
|
subgraph cluster_7 {
|
|
color=blue
|
|
18 [label="Enter loop condition"];
|
|
19 [label="Access variable R|<local>/<iterator>|"];
|
|
20 [label="Function call: R|<local>/<iterator>|.R|kotlin/collections/Iterator.hasNext|()"];
|
|
21 [label="Exit loop condition"];
|
|
}
|
|
subgraph cluster_8 {
|
|
color=blue
|
|
22 [label="Enter loop block"];
|
|
subgraph cluster_9 {
|
|
color=blue
|
|
23 [label="Enter block"];
|
|
24 [label="Access variable R|<local>/<iterator>|"];
|
|
25 [label="Function call: R|<local>/<iterator>|.R|SubstitutionOverride<kotlin/collections/Iterator.next: R|A|>|()"];
|
|
26 [label="Variable declaration: lval a: R|A|"];
|
|
subgraph cluster_10 {
|
|
color=blue
|
|
27 [label="Enter when"];
|
|
subgraph cluster_11 {
|
|
color=blue
|
|
28 [label="Enter when branch condition "];
|
|
29 [label="Access variable R|<local>/goodA|"];
|
|
30 [label="Const: Null(null)"];
|
|
31 [label="Equality operator =="];
|
|
32 [label="Exit when branch condition"];
|
|
}
|
|
33 [label="Synthetic else branch"];
|
|
34 [label="Enter when branch result"];
|
|
subgraph cluster_12 {
|
|
color=blue
|
|
35 [label="Enter block"];
|
|
36 [label="Access variable R|<local>/a|"];
|
|
37 [label="Assignment: R|<local>/goodA|"];
|
|
38 [label="Jump: continue@@@[R|<local>/<iterator>|.R|kotlin/collections/Iterator.hasNext|()] "];
|
|
39 [label="Stub" style="filled" fillcolor=gray];
|
|
40 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
41 [label="Exit when branch result" style="filled" fillcolor=gray];
|
|
42 [label="Exit when"];
|
|
}
|
|
43 [label="Access variable R|<local>/goodA|"];
|
|
44 [label="Access variable R|/A.s|"];
|
|
45 [label="Exit block"];
|
|
}
|
|
46 [label="Exit loop block"];
|
|
}
|
|
47 [label="Exit whileloop"];
|
|
}
|
|
48 [label="Exit block"];
|
|
}
|
|
49 [label="Exit block"];
|
|
}
|
|
50 [label="Exit function test_0" style="filled" fillcolor=red];
|
|
}
|
|
9 -> {10};
|
|
10 -> {11};
|
|
11 -> {12};
|
|
12 -> {13};
|
|
13 -> {14};
|
|
14 -> {15};
|
|
15 -> {16};
|
|
16 -> {17};
|
|
17 -> {18};
|
|
18 -> {19};
|
|
19 -> {20};
|
|
20 -> {21};
|
|
21 -> {47 22};
|
|
22 -> {23};
|
|
23 -> {24};
|
|
24 -> {25};
|
|
25 -> {26};
|
|
26 -> {27};
|
|
27 -> {28};
|
|
28 -> {29};
|
|
29 -> {30};
|
|
30 -> {31};
|
|
31 -> {32};
|
|
32 -> {34 33};
|
|
33 -> {42};
|
|
34 -> {35};
|
|
35 -> {36};
|
|
36 -> {37};
|
|
37 -> {38};
|
|
38 -> {39} [style=dotted];
|
|
38 -> {17} [color=green style=dashed];
|
|
39 -> {40} [style=dotted];
|
|
40 -> {41} [style=dotted];
|
|
41 -> {42} [style=dotted];
|
|
42 -> {43};
|
|
43 -> {44};
|
|
44 -> {45};
|
|
45 -> {46};
|
|
46 -> {18} [color=green style=dashed];
|
|
47 -> {48};
|
|
48 -> {49};
|
|
49 -> {50};
|
|
|
|
subgraph cluster_13 {
|
|
color=red
|
|
51 [label="Enter function test_1" style="filled" fillcolor=red];
|
|
subgraph cluster_14 {
|
|
color=blue
|
|
52 [label="Enter block"];
|
|
53 [label="Variable declaration: lval x: R|kotlin/Any|"];
|
|
subgraph cluster_15 {
|
|
color=blue
|
|
54 [label="Enter when"];
|
|
subgraph cluster_16 {
|
|
color=blue
|
|
55 [label="Enter when branch condition "];
|
|
56 [label="Access variable R|<local>/b|"];
|
|
57 [label="Exit when branch condition"];
|
|
}
|
|
subgraph cluster_17 {
|
|
color=blue
|
|
58 [label="Enter when branch condition else"];
|
|
59 [label="Exit when branch condition"];
|
|
}
|
|
60 [label="Enter when branch result"];
|
|
subgraph cluster_18 {
|
|
color=blue
|
|
61 [label="Enter block"];
|
|
62 [label="Access variable R|<local>/a|"];
|
|
63 [label="Assignment: R|<local>/x|"];
|
|
64 [label="Exit block"];
|
|
}
|
|
65 [label="Exit when branch result"];
|
|
66 [label="Enter when branch result"];
|
|
subgraph cluster_19 {
|
|
color=blue
|
|
67 [label="Enter block"];
|
|
68 [label="Function call: R|/A.A|()"];
|
|
69 [label="Assignment: R|<local>/x|"];
|
|
70 [label="Exit block"];
|
|
}
|
|
71 [label="Exit when branch result"];
|
|
72 [label="Exit when"];
|
|
}
|
|
73 [label="Access variable R|<local>/x|"];
|
|
74 [label="Access variable R|/A.s|"];
|
|
75 [label="Exit block"];
|
|
}
|
|
76 [label="Exit function test_1" style="filled" fillcolor=red];
|
|
}
|
|
51 -> {52};
|
|
52 -> {53};
|
|
53 -> {54};
|
|
54 -> {55};
|
|
55 -> {56};
|
|
56 -> {57};
|
|
57 -> {66 58};
|
|
58 -> {59};
|
|
59 -> {60};
|
|
60 -> {61};
|
|
61 -> {62};
|
|
62 -> {63};
|
|
63 -> {64};
|
|
64 -> {65};
|
|
65 -> {72};
|
|
66 -> {67};
|
|
67 -> {68};
|
|
68 -> {69};
|
|
69 -> {70};
|
|
70 -> {71};
|
|
71 -> {72};
|
|
72 -> {73};
|
|
73 -> {74};
|
|
74 -> {75};
|
|
75 -> {76};
|
|
|
|
subgraph cluster_20 {
|
|
color=red
|
|
77 [label="Enter function test_2" style="filled" fillcolor=red];
|
|
subgraph cluster_21 {
|
|
color=blue
|
|
78 [label="Enter block"];
|
|
79 [label="Variable declaration: lval x: R|kotlin/Any|"];
|
|
subgraph cluster_22 {
|
|
color=blue
|
|
80 [label="Enter when"];
|
|
subgraph cluster_23 {
|
|
color=blue
|
|
81 [label="Enter when branch condition "];
|
|
82 [label="Access variable R|<local>/b|"];
|
|
83 [label="Exit when branch condition"];
|
|
}
|
|
subgraph cluster_24 {
|
|
color=blue
|
|
84 [label="Enter when branch condition else"];
|
|
85 [label="Exit when branch condition"];
|
|
}
|
|
86 [label="Enter when branch result"];
|
|
subgraph cluster_25 {
|
|
color=blue
|
|
87 [label="Enter block"];
|
|
88 [label="Access variable R|<local>/a|"];
|
|
89 [label="Assignment: R|<local>/x|"];
|
|
90 [label="Access variable R|<local>/a|"];
|
|
91 [label="Type operator: (R|<local>/a| as R|A|)"];
|
|
92 [label="Exit block"];
|
|
}
|
|
93 [label="Exit when branch result"];
|
|
94 [label="Enter when branch result"];
|
|
subgraph cluster_26 {
|
|
color=blue
|
|
95 [label="Enter block"];
|
|
96 [label="Function call: R|/A.A|()"];
|
|
97 [label="Assignment: R|<local>/x|"];
|
|
98 [label="Exit block"];
|
|
}
|
|
99 [label="Exit when branch result"];
|
|
100 [label="Exit when"];
|
|
}
|
|
101 [label="Access variable R|<local>/x|"];
|
|
102 [label="Access variable R|/A.s|"];
|
|
103 [label="Exit block"];
|
|
}
|
|
104 [label="Exit function test_2" style="filled" fillcolor=red];
|
|
}
|
|
77 -> {78};
|
|
78 -> {79};
|
|
79 -> {80};
|
|
80 -> {81};
|
|
81 -> {82};
|
|
82 -> {83};
|
|
83 -> {94 84};
|
|
84 -> {85};
|
|
85 -> {86};
|
|
86 -> {87};
|
|
87 -> {88};
|
|
88 -> {89};
|
|
89 -> {90};
|
|
90 -> {91};
|
|
91 -> {92};
|
|
92 -> {93};
|
|
93 -> {100};
|
|
94 -> {95};
|
|
95 -> {96};
|
|
96 -> {97};
|
|
97 -> {98};
|
|
98 -> {99};
|
|
99 -> {100};
|
|
100 -> {101};
|
|
101 -> {102};
|
|
102 -> {103};
|
|
103 -> {104};
|
|
|
|
subgraph cluster_27 {
|
|
color=red
|
|
105 [label="Enter function test_3" style="filled" fillcolor=red];
|
|
subgraph cluster_28 {
|
|
color=blue
|
|
106 [label="Enter block"];
|
|
107 [label="Variable declaration: lval x: R|kotlin/Any|"];
|
|
subgraph cluster_29 {
|
|
color=blue
|
|
108 [label="Enter when"];
|
|
subgraph cluster_30 {
|
|
color=blue
|
|
109 [label="Enter when branch condition "];
|
|
110 [label="Access variable R|<local>/b|"];
|
|
111 [label="Exit when branch condition"];
|
|
}
|
|
subgraph cluster_31 {
|
|
color=blue
|
|
112 [label="Enter when branch condition else"];
|
|
113 [label="Exit when branch condition"];
|
|
}
|
|
114 [label="Enter when branch result"];
|
|
subgraph cluster_32 {
|
|
color=blue
|
|
115 [label="Enter block"];
|
|
116 [label="Access variable R|<local>/a|"];
|
|
117 [label="Type operator: (R|<local>/a| as R|A|)"];
|
|
118 [label="Access variable R|<local>/a|"];
|
|
119 [label="Assignment: R|<local>/x|"];
|
|
120 [label="Exit block"];
|
|
}
|
|
121 [label="Exit when branch result"];
|
|
122 [label="Enter when branch result"];
|
|
subgraph cluster_33 {
|
|
color=blue
|
|
123 [label="Enter block"];
|
|
124 [label="Function call: R|/A.A|()"];
|
|
125 [label="Assignment: R|<local>/x|"];
|
|
126 [label="Exit block"];
|
|
}
|
|
127 [label="Exit when branch result"];
|
|
128 [label="Exit when"];
|
|
}
|
|
129 [label="Access variable R|<local>/x|"];
|
|
130 [label="Access variable R|/A.s|"];
|
|
131 [label="Exit block"];
|
|
}
|
|
132 [label="Exit function test_3" style="filled" fillcolor=red];
|
|
}
|
|
105 -> {106};
|
|
106 -> {107};
|
|
107 -> {108};
|
|
108 -> {109};
|
|
109 -> {110};
|
|
110 -> {111};
|
|
111 -> {122 112};
|
|
112 -> {113};
|
|
113 -> {114};
|
|
114 -> {115};
|
|
115 -> {116};
|
|
116 -> {117};
|
|
117 -> {118};
|
|
118 -> {119};
|
|
119 -> {120};
|
|
120 -> {121};
|
|
121 -> {128};
|
|
122 -> {123};
|
|
123 -> {124};
|
|
124 -> {125};
|
|
125 -> {126};
|
|
126 -> {127};
|
|
127 -> {128};
|
|
128 -> {129};
|
|
129 -> {130};
|
|
130 -> {131};
|
|
131 -> {132};
|
|
|
|
subgraph cluster_34 {
|
|
color=red
|
|
133 [label="Enter function test_4" style="filled" fillcolor=red];
|
|
subgraph cluster_35 {
|
|
color=blue
|
|
134 [label="Enter block"];
|
|
135 [label="Variable declaration: lval x: R|kotlin/Any|"];
|
|
subgraph cluster_36 {
|
|
color=blue
|
|
136 [label="Enter when"];
|
|
subgraph cluster_37 {
|
|
color=blue
|
|
137 [label="Enter when branch condition "];
|
|
138 [label="Access variable R|<local>/b|"];
|
|
139 [label="Exit when branch condition"];
|
|
}
|
|
subgraph cluster_38 {
|
|
color=blue
|
|
140 [label="Enter when branch condition else"];
|
|
141 [label="Exit when branch condition"];
|
|
}
|
|
142 [label="Enter when branch result"];
|
|
subgraph cluster_39 {
|
|
color=blue
|
|
143 [label="Enter block"];
|
|
144 [label="Access variable R|<local>/a|"];
|
|
145 [label="Assignment: R|<local>/x|"];
|
|
146 [label="Exit block"];
|
|
}
|
|
147 [label="Exit when branch result"];
|
|
148 [label="Enter when branch result"];
|
|
subgraph cluster_40 {
|
|
color=blue
|
|
149 [label="Enter block"];
|
|
150 [label="Access variable R|<local>/a|"];
|
|
151 [label="Assignment: R|<local>/x|"];
|
|
152 [label="Exit block"];
|
|
}
|
|
153 [label="Exit when branch result"];
|
|
154 [label="Exit when"];
|
|
}
|
|
155 [label="Access variable R|<local>/x|"];
|
|
156 [label="Type operator: (R|<local>/x| as R|A|)"];
|
|
157 [label="Access variable R|<local>/x|"];
|
|
158 [label="Access variable R|/A.s|"];
|
|
159 [label="Access variable R|<local>/a|"];
|
|
160 [label="Access variable R|/A.s|"];
|
|
161 [label="Exit block"];
|
|
}
|
|
162 [label="Exit function test_4" style="filled" fillcolor=red];
|
|
}
|
|
133 -> {134};
|
|
134 -> {135};
|
|
135 -> {136};
|
|
136 -> {137};
|
|
137 -> {138};
|
|
138 -> {139};
|
|
139 -> {148 140};
|
|
140 -> {141};
|
|
141 -> {142};
|
|
142 -> {143};
|
|
143 -> {144};
|
|
144 -> {145};
|
|
145 -> {146};
|
|
146 -> {147};
|
|
147 -> {154};
|
|
148 -> {149};
|
|
149 -> {150};
|
|
150 -> {151};
|
|
151 -> {152};
|
|
152 -> {153};
|
|
153 -> {154};
|
|
154 -> {155};
|
|
155 -> {156};
|
|
156 -> {157};
|
|
157 -> {158};
|
|
158 -> {159};
|
|
159 -> {160};
|
|
160 -> {161};
|
|
161 -> {162};
|
|
|
|
subgraph cluster_41 {
|
|
color=red
|
|
163 [label="Enter function test_5" style="filled" fillcolor=red];
|
|
subgraph cluster_42 {
|
|
color=blue
|
|
164 [label="Enter block"];
|
|
165 [label="Variable declaration: lval x: R|kotlin/Any|"];
|
|
subgraph cluster_43 {
|
|
color=blue
|
|
166 [label="Enter when"];
|
|
subgraph cluster_44 {
|
|
color=blue
|
|
167 [label="Enter when branch condition "];
|
|
168 [label="Access variable R|<local>/b|"];
|
|
169 [label="Exit when branch condition"];
|
|
}
|
|
subgraph cluster_45 {
|
|
color=blue
|
|
170 [label="Enter when branch condition else"];
|
|
171 [label="Exit when branch condition"];
|
|
}
|
|
172 [label="Enter when branch result"];
|
|
subgraph cluster_46 {
|
|
color=blue
|
|
173 [label="Enter block"];
|
|
174 [label="Access variable R|<local>/a|"];
|
|
175 [label="Assignment: R|<local>/x|"];
|
|
176 [label="Exit block"];
|
|
}
|
|
177 [label="Exit when branch result"];
|
|
178 [label="Enter when branch result"];
|
|
subgraph cluster_47 {
|
|
color=blue
|
|
179 [label="Enter block"];
|
|
180 [label="Access variable R|<local>/a|"];
|
|
181 [label="Assignment: R|<local>/x|"];
|
|
182 [label="Exit block"];
|
|
}
|
|
183 [label="Exit when branch result"];
|
|
184 [label="Exit when"];
|
|
}
|
|
185 [label="Access variable R|<local>/a|"];
|
|
186 [label="Type operator: (R|<local>/a| as R|A|)"];
|
|
187 [label="Access variable R|<local>/x|"];
|
|
188 [label="Access variable R|/A.s|"];
|
|
189 [label="Access variable R|<local>/a|"];
|
|
190 [label="Access variable R|/A.s|"];
|
|
191 [label="Exit block"];
|
|
}
|
|
192 [label="Exit function test_5" style="filled" fillcolor=red];
|
|
}
|
|
163 -> {164};
|
|
164 -> {165};
|
|
165 -> {166};
|
|
166 -> {167};
|
|
167 -> {168};
|
|
168 -> {169};
|
|
169 -> {178 170};
|
|
170 -> {171};
|
|
171 -> {172};
|
|
172 -> {173};
|
|
173 -> {174};
|
|
174 -> {175};
|
|
175 -> {176};
|
|
176 -> {177};
|
|
177 -> {184};
|
|
178 -> {179};
|
|
179 -> {180};
|
|
180 -> {181};
|
|
181 -> {182};
|
|
182 -> {183};
|
|
183 -> {184};
|
|
184 -> {185};
|
|
185 -> {186};
|
|
186 -> {187};
|
|
187 -> {188};
|
|
188 -> {189};
|
|
189 -> {190};
|
|
190 -> {191};
|
|
191 -> {192};
|
|
|
|
subgraph cluster_48 {
|
|
color=red
|
|
193 [label="Enter function test_6" style="filled" fillcolor=red];
|
|
subgraph cluster_49 {
|
|
color=blue
|
|
194 [label="Enter block"];
|
|
195 [label="Variable declaration: lval x: R|kotlin/Any|"];
|
|
196 [label="Access variable R|<local>/a|"];
|
|
197 [label="Assignment: R|<local>/x|"];
|
|
198 [label="Access variable R|<local>/x|"];
|
|
199 [label="Access variable R|/A.s|"];
|
|
200 [label="Exit block"];
|
|
}
|
|
201 [label="Exit function test_6" style="filled" fillcolor=red];
|
|
}
|
|
193 -> {194};
|
|
194 -> {195};
|
|
195 -> {196};
|
|
196 -> {197};
|
|
197 -> {198};
|
|
198 -> {199};
|
|
199 -> {200};
|
|
200 -> {201};
|
|
|
|
subgraph cluster_50 {
|
|
color=red
|
|
202 [label="Enter function test_7" style="filled" fillcolor=red];
|
|
subgraph cluster_51 {
|
|
color=blue
|
|
203 [label="Enter block"];
|
|
204 [label="Const: Null(null)"];
|
|
205 [label="Variable declaration: lval z: R|kotlin/String?|"];
|
|
206 [label="Access variable R|<local>/z|"];
|
|
207 [label="Variable declaration: lvar y: R|kotlin/String?|"];
|
|
208 [label="Access variable R|<local>/y|"];
|
|
209 [label="Variable declaration: lval x: R|kotlin/String?|"];
|
|
subgraph cluster_52 {
|
|
color=blue
|
|
210 [label="Enter when"];
|
|
subgraph cluster_53 {
|
|
color=blue
|
|
211 [label="Enter when branch condition "];
|
|
212 [label="Access variable R|<local>/x|"];
|
|
213 [label="Const: Null(null)"];
|
|
214 [label="Equality operator !="];
|
|
215 [label="Exit when branch condition"];
|
|
}
|
|
216 [label="Synthetic else branch"];
|
|
217 [label="Enter when branch result"];
|
|
subgraph cluster_54 {
|
|
color=blue
|
|
218 [label="Enter block"];
|
|
219 [label="Access variable R|<local>/x|"];
|
|
220 [label="Access variable R|kotlin/String.length|"];
|
|
221 [label="Access variable R|<local>/y|"];
|
|
222 [label="Access variable R|kotlin/String.length|"];
|
|
223 [label="Access variable R|<local>/z|"];
|
|
224 [label="Access variable R|kotlin/String.length|"];
|
|
225 [label="Exit block"];
|
|
}
|
|
226 [label="Exit when branch result"];
|
|
227 [label="Exit when"];
|
|
}
|
|
subgraph cluster_55 {
|
|
color=blue
|
|
228 [label="Enter when"];
|
|
subgraph cluster_56 {
|
|
color=blue
|
|
229 [label="Enter when branch condition "];
|
|
230 [label="Access variable R|<local>/y|"];
|
|
231 [label="Const: Null(null)"];
|
|
232 [label="Equality operator !="];
|
|
233 [label="Exit when branch condition"];
|
|
}
|
|
234 [label="Synthetic else branch"];
|
|
235 [label="Enter when branch result"];
|
|
subgraph cluster_57 {
|
|
color=blue
|
|
236 [label="Enter block"];
|
|
237 [label="Access variable R|<local>/x|"];
|
|
238 [label="Access variable R|kotlin/String.length|"];
|
|
239 [label="Access variable R|<local>/y|"];
|
|
240 [label="Access variable R|kotlin/String.length|"];
|
|
241 [label="Access variable R|<local>/z|"];
|
|
242 [label="Access variable R|kotlin/String.length|"];
|
|
243 [label="Exit block"];
|
|
}
|
|
244 [label="Exit when branch result"];
|
|
245 [label="Exit when"];
|
|
}
|
|
subgraph cluster_58 {
|
|
color=blue
|
|
246 [label="Enter when"];
|
|
subgraph cluster_59 {
|
|
color=blue
|
|
247 [label="Enter when branch condition "];
|
|
248 [label="Access variable R|<local>/z|"];
|
|
249 [label="Const: Null(null)"];
|
|
250 [label="Equality operator !="];
|
|
251 [label="Exit when branch condition"];
|
|
}
|
|
252 [label="Synthetic else branch"];
|
|
253 [label="Enter when branch result"];
|
|
subgraph cluster_60 {
|
|
color=blue
|
|
254 [label="Enter block"];
|
|
255 [label="Access variable R|<local>/x|"];
|
|
256 [label="Access variable R|kotlin/String.length|"];
|
|
257 [label="Access variable R|<local>/y|"];
|
|
258 [label="Access variable R|kotlin/String.length|"];
|
|
259 [label="Access variable R|<local>/z|"];
|
|
260 [label="Access variable R|kotlin/String.length|"];
|
|
261 [label="Exit block"];
|
|
}
|
|
262 [label="Exit when branch result"];
|
|
263 [label="Exit when"];
|
|
}
|
|
264 [label="Const: Null(null)"];
|
|
265 [label="Assignment: R|<local>/y|"];
|
|
subgraph cluster_61 {
|
|
color=blue
|
|
266 [label="Enter when"];
|
|
subgraph cluster_62 {
|
|
color=blue
|
|
267 [label="Enter when branch condition "];
|
|
268 [label="Access variable R|<local>/x|"];
|
|
269 [label="Const: Null(null)"];
|
|
270 [label="Equality operator !="];
|
|
271 [label="Exit when branch condition"];
|
|
}
|
|
272 [label="Synthetic else branch"];
|
|
273 [label="Enter when branch result"];
|
|
subgraph cluster_63 {
|
|
color=blue
|
|
274 [label="Enter block"];
|
|
275 [label="Access variable R|<local>/x|"];
|
|
276 [label="Access variable R|kotlin/String.length|"];
|
|
277 [label="Access variable R|<local>/y|"];
|
|
278 [label="Access variable <Inapplicable(UNSAFE_CALL): kotlin/String.length>#"];
|
|
279 [label="Access variable R|<local>/z|"];
|
|
280 [label="Access variable R|kotlin/String.length|"];
|
|
281 [label="Exit block"];
|
|
}
|
|
282 [label="Exit when branch result"];
|
|
283 [label="Exit when"];
|
|
}
|
|
subgraph cluster_64 {
|
|
color=blue
|
|
284 [label="Enter when"];
|
|
subgraph cluster_65 {
|
|
color=blue
|
|
285 [label="Enter when branch condition "];
|
|
286 [label="Access variable R|<local>/y|"];
|
|
287 [label="Const: Null(null)"];
|
|
288 [label="Equality operator !="];
|
|
289 [label="Exit when branch condition"];
|
|
}
|
|
290 [label="Synthetic else branch"];
|
|
291 [label="Enter when branch result"];
|
|
subgraph cluster_66 {
|
|
color=blue
|
|
292 [label="Enter block"];
|
|
293 [label="Access variable R|<local>/x|"];
|
|
294 [label="Access variable <Inapplicable(UNSAFE_CALL): kotlin/String.length>#"];
|
|
295 [label="Access variable R|<local>/y|"];
|
|
296 [label="Access variable R|kotlin/String.length|"];
|
|
297 [label="Access variable R|<local>/z|"];
|
|
298 [label="Access variable <Inapplicable(UNSAFE_CALL): kotlin/String.length>#"];
|
|
299 [label="Exit block"];
|
|
}
|
|
300 [label="Exit when branch result"];
|
|
301 [label="Exit when"];
|
|
}
|
|
subgraph cluster_67 {
|
|
color=blue
|
|
302 [label="Enter when"];
|
|
subgraph cluster_68 {
|
|
color=blue
|
|
303 [label="Enter when branch condition "];
|
|
304 [label="Access variable R|<local>/z|"];
|
|
305 [label="Const: Null(null)"];
|
|
306 [label="Equality operator !="];
|
|
307 [label="Exit when branch condition"];
|
|
}
|
|
308 [label="Synthetic else branch"];
|
|
309 [label="Enter when branch result"];
|
|
subgraph cluster_69 {
|
|
color=blue
|
|
310 [label="Enter block"];
|
|
311 [label="Access variable R|<local>/x|"];
|
|
312 [label="Access variable R|kotlin/String.length|"];
|
|
313 [label="Access variable R|<local>/y|"];
|
|
314 [label="Access variable <Inapplicable(UNSAFE_CALL): kotlin/String.length>#"];
|
|
315 [label="Access variable R|<local>/z|"];
|
|
316 [label="Access variable R|kotlin/String.length|"];
|
|
317 [label="Exit block"];
|
|
}
|
|
318 [label="Exit when branch result"];
|
|
319 [label="Exit when"];
|
|
}
|
|
320 [label="Exit block"];
|
|
}
|
|
321 [label="Exit function test_7" style="filled" fillcolor=red];
|
|
}
|
|
202 -> {203};
|
|
203 -> {204};
|
|
204 -> {205};
|
|
205 -> {206};
|
|
206 -> {207};
|
|
207 -> {208};
|
|
208 -> {209};
|
|
209 -> {210};
|
|
210 -> {211};
|
|
211 -> {212};
|
|
212 -> {213};
|
|
213 -> {214};
|
|
214 -> {215};
|
|
215 -> {217 216};
|
|
216 -> {227};
|
|
217 -> {218};
|
|
218 -> {219};
|
|
219 -> {220};
|
|
220 -> {221};
|
|
221 -> {222};
|
|
222 -> {223};
|
|
223 -> {224};
|
|
224 -> {225};
|
|
225 -> {226};
|
|
226 -> {227};
|
|
227 -> {228};
|
|
228 -> {229};
|
|
229 -> {230};
|
|
230 -> {231};
|
|
231 -> {232};
|
|
232 -> {233};
|
|
233 -> {235 234};
|
|
234 -> {245};
|
|
235 -> {236};
|
|
236 -> {237};
|
|
237 -> {238};
|
|
238 -> {239};
|
|
239 -> {240};
|
|
240 -> {241};
|
|
241 -> {242};
|
|
242 -> {243};
|
|
243 -> {244};
|
|
244 -> {245};
|
|
245 -> {246};
|
|
246 -> {247};
|
|
247 -> {248};
|
|
248 -> {249};
|
|
249 -> {250};
|
|
250 -> {251};
|
|
251 -> {253 252};
|
|
252 -> {263};
|
|
253 -> {254};
|
|
254 -> {255};
|
|
255 -> {256};
|
|
256 -> {257};
|
|
257 -> {258};
|
|
258 -> {259};
|
|
259 -> {260};
|
|
260 -> {261};
|
|
261 -> {262};
|
|
262 -> {263};
|
|
263 -> {264};
|
|
264 -> {265};
|
|
265 -> {266};
|
|
266 -> {267};
|
|
267 -> {268};
|
|
268 -> {269};
|
|
269 -> {270};
|
|
270 -> {271};
|
|
271 -> {273 272};
|
|
272 -> {283};
|
|
273 -> {274};
|
|
274 -> {275};
|
|
275 -> {276};
|
|
276 -> {277};
|
|
277 -> {278};
|
|
278 -> {279};
|
|
279 -> {280};
|
|
280 -> {281};
|
|
281 -> {282};
|
|
282 -> {283};
|
|
283 -> {284};
|
|
284 -> {285};
|
|
285 -> {286};
|
|
286 -> {287};
|
|
287 -> {288};
|
|
288 -> {289};
|
|
289 -> {291 290};
|
|
290 -> {301};
|
|
291 -> {292};
|
|
292 -> {293};
|
|
293 -> {294};
|
|
294 -> {295};
|
|
295 -> {296};
|
|
296 -> {297};
|
|
297 -> {298};
|
|
298 -> {299};
|
|
299 -> {300};
|
|
300 -> {301};
|
|
301 -> {302};
|
|
302 -> {303};
|
|
303 -> {304};
|
|
304 -> {305};
|
|
305 -> {306};
|
|
306 -> {307};
|
|
307 -> {309 308};
|
|
308 -> {319};
|
|
309 -> {310};
|
|
310 -> {311};
|
|
311 -> {312};
|
|
312 -> {313};
|
|
313 -> {314};
|
|
314 -> {315};
|
|
315 -> {316};
|
|
316 -> {317};
|
|
317 -> {318};
|
|
318 -> {319};
|
|
319 -> {320};
|
|
320 -> {321};
|
|
|
|
}
|