TVS cv. 5

graf.dot

digraph cv5 {

// public int fnc() {

    node [fontname="menlo-regular"];
    edge [fontname="arial"];

//     B999();
//     int d999 = 808;

    start [style=invis];
    start -> 1;
    1 [label=<<b>B999</b>();<br align="left"/>int d999 = 808;>];

//     B0();
//     int e0 = 782;

    1 -> B0;
    B0 [label=<<b>B0</b>();<br align="left"/>int e0 = 782;>];
    B0 -> 2;

    2 [label=<<b>B1</b>()>];

//     if( B1() ) then {

    2 -> 3 [label="true",style=dashed,color=green,fontcolor=green];
    3 [label=<<b>B2</b>()>];

//         while( B2() ) {

    3 -> 5 [label="true",style=dashed,color=green,fontcolor=green];

//             B11();
//             int e11 = d999;
//             d999 = 863;

    5 [label=<<b>B11</b>();<br align="left"/>int e11 = d999;<br align="left"/>d999 = 863;>];
    5 -> 3;

//         }

    3 -> 6 [label="false",style=dashed,color=red,fontcolor=red];
    6 [label=<<b>B3</b>()>];

//         if( B3() ) then {

    6 -> 7 [label="true",style=dashed,color=green,fontcolor=green];

//             B9();
//             int c9 = 31;
//             d999 = 542;
//             d999 = 449;

    7 [label=<<b>B9</b>();<br align="left"/>int c9 = 31;<br align="left"/>d999 = 542;<br align="left"/>d999 = 449;>];
    7 -> 9;

//         }
//         else {

    6 -> 8 [label="false",style=dashed,color=red,fontcolor=red];
    8 [label=<<b>B8</b>();<br align="left"/>int b8 = 847;>];
    8 -> 9;

//             B8();
//             int b8 = 847;
//         }
    9 [label=<<b>B10</b>();<br align="left"/>int b10 = d999;>];
    9 -> 4;

//         B10();
//         int b10 = d999;
//     }

    2 -> 4 [label="false",style=dashed,color=red,fontcolor=red];
    4 [label=<<b>B4</b>();<br align="left"/>int d4 = 836;<br align="left"/>int e5 = 0;>];

//     B4();
//     int d4 = 836;

    4 -> B5;
    B5 [label=<<b>B5</b>(e5)>];

//     for(int e5 = 0; B5(e5); e5++ ) {

    B5 -> 10 [label="true",style=dashed,color=green,fontcolor=green];
    10 [label=<<b>B6</b>();<br align="left"/>int e6 = 8;<br align="left"/>e5 ++>];
    10 -> B5;

//         B6();
//         int e6 = 8;
//     }

    B5 -> 11 [label="false",style=dashed,color=red,fontcolor=red];
    11 [label=<<b>B7</b>();<br align="left"/>int b7 = 636;>];

//     B7();
//     int b7 = 636;
// }

}

graf.png