kotlin-fork/compiler/fir/resolve/testData/resolve/smartcasts/casts.dot

digraph casts_kt {
  graph [splines=ortho nodesep=3]
  node [shape=box penwidth=2]
  edge [penwidth=2]

  subgraph cluster_0 {
    color=red
    0 [label="Enter function test_1" style="filled" fillcolor=red];
    subgraph cluster_1 {
      color=blue
      1 [label="Enter block"];
      2 [label="Access variable R|<local>/x|"];
      3 [label="Type operator: x as String"];
      4 [label="Access variable R|<local>/x|"];
      5 [label="Access variable R|kotlin/String.length|"];
      6 [label="Exit block"];
    }
    7 [label="Exit function test_1" style="filled" fillcolor=red];
  }

  0 -> {1};
  1 -> {2};
  2 -> {3};
  3 -> {4};
  4 -> {5};
  5 -> {6};
  6 -> {7};

  subgraph cluster_2 {
    color=red
    8 [label="Enter function test_2" style="filled" fillcolor=red];
    subgraph cluster_3 {
      color=blue
      9 [label="Enter block"];
      subgraph cluster_4 {
        color=blue
        10 [label="Enter when"];
        subgraph cluster_5 {
          color=blue
          11 [label="Enter when branch condition "];
          12 [label="Access variable R|<local>/x|"];
          13 [label="Type operator: x as Boolean"];
          14 [label="Exit when branch condition"];
        }
        subgraph cluster_6 {
          color=blue
          15 [label="Enter when branch condition else"];
          16 [label="Exit when branch condition"];
        }
        17 [label="Enter when branch result"];
        subgraph cluster_7 {
          color=blue
          18 [label="Enter block"];
          19 [label="Exit block"];
        }
        20 [label="Exit when branch result"];
        21 [label="Enter when branch result"];
        subgraph cluster_8 {
          color=blue
          22 [label="Enter block"];
          23 [label="Access variable R|<local>/x|"];
          24 [label="Function call: R|<local>/x|.R|kotlin/Boolean.not|()"];
          25 [label="Exit block"];
        }
        26 [label="Exit when branch result"];
        27 [label="Exit when"];
      }
      28 [label="Access variable R|<local>/x|"];
      29 [label="Function call: R|<local>/x|.R|kotlin/Boolean.not|()"];
      30 [label="Exit block"];
    }
    31 [label="Exit function test_2" style="filled" fillcolor=red];
  }

  8 -> {9};
  9 -> {10};
  10 -> {11};
  11 -> {12};
  12 -> {13};
  13 -> {14};
  14 -> {21 15};
  15 -> {16};
  16 -> {17};
  17 -> {18};
  18 -> {19};
  19 -> {20};
  20 -> {27};
  21 -> {22};
  22 -> {23};
  23 -> {24};
  24 -> {25};
  25 -> {26};
  26 -> {27};
  27 -> {28};
  28 -> {29};
  29 -> {30};
  30 -> {31};

  subgraph cluster_9 {
    color=red
    32 [label="Enter function test_3" style="filled" fillcolor=red];
    subgraph cluster_10 {
      color=blue
      33 [label="Enter block"];
      subgraph cluster_11 {
        color=blue
        34 [label="Enter when"];
        subgraph cluster_12 {
          color=blue
          35 [label="Enter when branch condition "];
          subgraph cluster_13 {
            color=blue
            36 [label="Enter &&"];
            37 [label="Access variable R|<local>/b|"];
            38 [label="Exit left part of &&"];
            39 [label="Enter right part of &&"];
            40 [label="Access variable R|<local>/x|"];
            41 [label="Type operator: x as Boolean"];
            42 [label="Exit &&"];
          }
          43 [label="Exit when branch condition"];
        }
        subgraph cluster_14 {
          color=blue
          44 [label="Enter when branch condition else"];
          45 [label="Exit when branch condition"];
        }
        46 [label="Enter when branch result"];
        subgraph cluster_15 {
          color=blue
          47 [label="Enter block"];
          48 [label="Exit block"];
        }
        49 [label="Exit when branch result"];
        50 [label="Enter when branch result"];
        subgraph cluster_16 {
          color=blue
          51 [label="Enter block"];
          52 [label="Access variable R|<local>/x|"];
          53 [label="Function call: R|<local>/x|.R|kotlin/Boolean.not|()"];
          54 [label="Exit block"];
        }
        55 [label="Exit when branch result"];
        56 [label="Exit when"];
      }
      57 [label="Access variable R|<local>/x|"];
      58 [label="Function call: R|<local>/x|.<Unresolved name: not>#()"];
      subgraph cluster_17 {
        color=blue
        59 [label="Enter when"];
        subgraph cluster_18 {
          color=blue
          60 [label="Enter when branch condition "];
          subgraph cluster_19 {
            color=blue
            61 [label="Enter &&"];
            62 [label="Access variable R|<local>/b|"];
            63 [label="Exit left part of &&"];
            64 [label="Enter right part of &&"];
            65 [label="Access variable R|<local>/x|"];
            66 [label="Type operator: x as Boolean"];
            67 [label="Const: Boolean(true)"];
            68 [label="Operator =="];
            69 [label="Exit &&"];
          }
          70 [label="Exit when branch condition"];
        }
        subgraph cluster_20 {
          color=blue
          71 [label="Enter when branch condition else"];
          72 [label="Exit when branch condition"];
        }
        73 [label="Enter when branch result"];
        subgraph cluster_21 {
          color=blue
          74 [label="Enter block"];
          75 [label="Exit block"];
        }
        76 [label="Exit when branch result"];
        77 [label="Enter when branch result"];
        subgraph cluster_22 {
          color=blue
          78 [label="Enter block"];
          79 [label="Access variable R|<local>/x|"];
          80 [label="Function call: R|<local>/x|.R|kotlin/Boolean.not|()"];
          81 [label="Exit block"];
        }
        82 [label="Exit when branch result"];
        83 [label="Exit when"];
      }
      84 [label="Access variable R|<local>/x|"];
      85 [label="Function call: R|<local>/x|.<Unresolved name: not>#()"];
      subgraph cluster_23 {
        color=blue
        86 [label="Enter when"];
        subgraph cluster_24 {
          color=blue
          87 [label="Enter when branch condition "];
          subgraph cluster_25 {
            color=blue
            88 [label="Enter ||"];
            89 [label="Access variable R|<local>/b|"];
            90 [label="Exit left part of ||"];
            91 [label="Enter right part of ||"];
            92 [label="Access variable R|<local>/x|"];
            93 [label="Type operator: x as Boolean"];
            94 [label="Exit ||"];
          }
          95 [label="Exit when branch condition"];
        }
        subgraph cluster_26 {
          color=blue
          96 [label="Enter when branch condition else"];
          97 [label="Exit when branch condition"];
        }
        98 [label="Enter when branch result"];
        subgraph cluster_27 {
          color=blue
          99 [label="Enter block"];
          100 [label="Exit block"];
        }
        101 [label="Exit when branch result"];
        102 [label="Enter when branch result"];
        subgraph cluster_28 {
          color=blue
          103 [label="Enter block"];
          104 [label="Access variable R|<local>/x|"];
          105 [label="Function call: R|<local>/x|.<Unresolved name: not>#()"];
          106 [label="Exit block"];
        }
        107 [label="Exit when branch result"];
        108 [label="Exit when"];
      }
      109 [label="Access variable R|<local>/x|"];
      110 [label="Function call: R|<local>/x|.<Unresolved name: not>#()"];
      111 [label="Exit block"];
    }
    112 [label="Exit function test_3" style="filled" fillcolor=red];
  }

  32 -> {33};
  33 -> {34};
  34 -> {35};
  35 -> {36};
  36 -> {37};
  37 -> {38};
  38 -> {42 39};
  39 -> {40};
  40 -> {41};
  41 -> {42};
  42 -> {43};
  43 -> {50 44};
  44 -> {45};
  45 -> {46};
  46 -> {47};
  47 -> {48};
  48 -> {49};
  49 -> {56};
  50 -> {51};
  51 -> {52};
  52 -> {53};
  53 -> {54};
  54 -> {55};
  55 -> {56};
  56 -> {57};
  57 -> {58};
  58 -> {59};
  59 -> {60};
  60 -> {61};
  61 -> {62};
  62 -> {63};
  63 -> {69 64};
  64 -> {65};
  65 -> {66};
  66 -> {67};
  67 -> {68};
  68 -> {69};
  69 -> {70};
  70 -> {77 71};
  71 -> {72};
  72 -> {73};
  73 -> {74};
  74 -> {75};
  75 -> {76};
  76 -> {83};
  77 -> {78};
  78 -> {79};
  79 -> {80};
  80 -> {81};
  81 -> {82};
  82 -> {83};
  83 -> {84};
  84 -> {85};
  85 -> {86};
  86 -> {87};
  87 -> {88};
  88 -> {89};
  89 -> {90};
  90 -> {94 91};
  91 -> {92};
  92 -> {93};
  93 -> {94};
  94 -> {95};
  95 -> {102 96};
  96 -> {97};
  97 -> {98};
  98 -> {99};
  99 -> {100};
  100 -> {101};
  101 -> {108};
  102 -> {103};
  103 -> {104};
  104 -> {105};
  105 -> {106};
  106 -> {107};
  107 -> {108};
  108 -> {109};
  109 -> {110};
  110 -> {111};
  111 -> {112};

  subgraph cluster_29 {
    color=red
    113 [label="Enter function test_4" style="filled" fillcolor=red];
    subgraph cluster_30 {
      color=blue
      114 [label="Enter block"];
      subgraph cluster_31 {
        color=blue
        115 [label="Enter when"];
        subgraph cluster_32 {
          color=blue
          116 [label="Enter when branch condition "];
          117 [label="Access variable R|<local>/b|"];
          118 [label="Type operator: b as? Boolean"];
          119 [label="Const: Null(null)"];
          120 [label="Operator !="];
          121 [label="Exit when branch condition"];
        }
        subgraph cluster_33 {
          color=blue
          122 [label="Enter when branch condition else"];
          123 [label="Exit when branch condition"];
        }
        124 [label="Enter when branch result"];
        subgraph cluster_34 {
          color=blue
          125 [label="Enter block"];
          126 [label="Access variable R|<local>/b|"];
          127 [label="Function call: R|<local>/b|.<Unresolved name: not>#()"];
          128 [label="Exit block"];
        }
        129 [label="Exit when branch result"];
        130 [label="Enter when branch result"];
        subgraph cluster_35 {
          color=blue
          131 [label="Enter block"];
          132 [label="Access variable R|<local>/b|"];
          133 [label="Function call: R|<local>/b|.R|kotlin/Boolean.not|()"];
          134 [label="Exit block"];
        }
        135 [label="Exit when branch result"];
        136 [label="Exit when"];
      }
      137 [label="Access variable R|<local>/b|"];
      138 [label="Function call: R|<local>/b|.<Unresolved name: not>#()"];
      subgraph cluster_36 {
        color=blue
        139 [label="Enter when"];
        subgraph cluster_37 {
          color=blue
          140 [label="Enter when branch condition "];
          141 [label="Access variable R|<local>/b|"];
          142 [label="Type operator: b as? Boolean"];
          143 [label="Const: Null(null)"];
          144 [label="Operator =="];
          145 [label="Exit when branch condition"];
        }
        subgraph cluster_38 {
          color=blue
          146 [label="Enter when branch condition else"];
          147 [label="Exit when branch condition"];
        }
        148 [label="Enter when branch result"];
        subgraph cluster_39 {
          color=blue
          149 [label="Enter block"];
          150 [label="Access variable R|<local>/b|"];
          151 [label="Function call: R|<local>/b|.R|kotlin/Boolean.not|()"];
          152 [label="Exit block"];
        }
        153 [label="Exit when branch result"];
        154 [label="Enter when branch result"];
        subgraph cluster_40 {
          color=blue
          155 [label="Enter block"];
          156 [label="Access variable R|<local>/b|"];
          157 [label="Function call: R|<local>/b|.<Unresolved name: not>#()"];
          158 [label="Exit block"];
        }
        159 [label="Exit when branch result"];
        160 [label="Exit when"];
      }
      161 [label="Access variable R|<local>/b|"];
      162 [label="Function call: R|<local>/b|.<Unresolved name: not>#()"];
      163 [label="Exit block"];
    }
    164 [label="Exit function test_4" style="filled" fillcolor=red];
  }

  113 -> {114};
  114 -> {115};
  115 -> {116};
  116 -> {117};
  117 -> {118};
  118 -> {119};
  119 -> {120};
  120 -> {121};
  121 -> {130 122};
  122 -> {123};
  123 -> {124};
  124 -> {125};
  125 -> {126};
  126 -> {127};
  127 -> {128};
  128 -> {129};
  129 -> {136};
  130 -> {131};
  131 -> {132};
  132 -> {133};
  133 -> {134};
  134 -> {135};
  135 -> {136};
  136 -> {137};
  137 -> {138};
  138 -> {139};
  139 -> {140};
  140 -> {141};
  141 -> {142};
  142 -> {143};
  143 -> {144};
  144 -> {145};
  145 -> {154 146};
  146 -> {147};
  147 -> {148};
  148 -> {149};
  149 -> {150};
  150 -> {151};
  151 -> {152};
  152 -> {153};
  153 -> {160};
  154 -> {155};
  155 -> {156};
  156 -> {157};
  157 -> {158};
  158 -> {159};
  159 -> {160};
  160 -> {161};
  161 -> {162};
  162 -> {163};
  163 -> {164};

}