Fix: Making exit a terminal node in CFG

[silverfoxy]

I added support for the issue mentioned here #57

Now calls to exit show up as Terminal_Exit node and the nodes after the exit are ignored in the CFG.

The CFG now looks like this, and Block # 2 no longer jumps to Block # 3.

$a = "index.php";
if (isset($a)) {
    include $a;
    exit;
}
echo "123";

Block#1
    Expr_Assign
        var: Var#1<$a>
        expr: LITERAL('index.php')
        result: Var#2
    Expr_Isset
        vars[0]: Var#1<$a>
        result: Var#3
    Stmt_JumpIf
        cond: Var#3
        if: Block#2
        else: Block#3

Block#2
    Parent: Block#1
    Expr_Include
        expr: Var#1<$a>
        result: Var#4
    Terminal_Exit

Block#3
    Parent: Block#1
    Terminal_Echo
        expr: LITERAL('123')
    Terminal_Return

[nikic]

Looks like you accidentally committed your composer.phar file.

[nikic]

Thanks!