[FIR] Add control flow graph to FirAnonymousInitializer

2020-03-27 12:03:13 +03:00
parent 8d3ee4f304
commit 74d86d82c6
12 changed files with 301 additions and 110 deletions
@@ -29,4 +29,52 @@ digraph initBlockAndInPlaceLambda_kt {
    4 -> {5};
    5 -> {6};

+    subgraph cluster_3 {
+        color=red
+        7 [label="Enter init block" style="filled" fillcolor=red];
+        subgraph cluster_4 {
+            color=blue
+            8 [label="Enter block"];
+            9 [label="Access variable R|<local>/a|"];
+            10 [label="Access variable R|/A.b|"];
+            11 [label="Enter safe call"];
+            12 [label="Postponed enter to lambda"];
+            subgraph cluster_5 {
+                color=blue
+                13 [label="Enter function anonymousFunction"];
+                14 [label="Access variable R|<local>/a|"];
+                15 [label="Access variable R|<local>/it|"];
+                16 [label="Function call: R|/C.C|(...)"];
+                17 [label="Exit function anonymousFunction"];
+            }
+            18 [label="Call arguments union" style="filled" fillcolor=yellow];
+            19 [label="Postponed exit from lambda"];
+            20 [label="Function call: R|<local>/a|.R|/A.b|?.R|kotlin/let|<R|B|, R|C|>(...)"];
+            21 [label="Exit safe call"];
+            22 [label="Variable declaration: lval c: R|C?|"];
+            23 [label="Exit block"];
+        }
+        24 [label="Exit init block" style="filled" fillcolor=red];
+    }
+
+    7 -> {8};
+    8 -> {9};
+    9 -> {10};
+    10 -> {11 21};
+    11 -> {12};
+    12 -> {13};
+    12 -> {19} [color=red];
+    13 -> {14};
+    14 -> {15};
+    15 -> {16};
+    16 -> {17};
+    17 -> {19} [color=green];
+    17 -> {18} [color=red];
+    18 -> {20} [color=red];
+    19 -> {20} [color=green];
+    20 -> {21};
+    21 -> {22};
+    22 -> {23};
+    23 -> {24};
+
 }