Initial Problem

Start: eval_foo_start
Program_Vars: Arg_0
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_start
Transitions:
1:eval_foo_bb0_in(Arg_0) -> eval_foo_bb1_in(Arg_0)
2:eval_foo_bb1_in(Arg_0) -> eval_foo_bb1_in(Arg_0)
0:eval_foo_start(Arg_0) -> eval_foo_bb0_in(Arg_0)

Preprocessing

Eliminate variables {Arg_0} that do not contribute to the problem

Problem after Preprocessing

Start: eval_foo_start
Program_Vars:
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_start
Transitions:
7:eval_foo_bb0_in -> eval_foo_bb1_in
8:eval_foo_bb1_in -> eval_foo_bb1_in
9:eval_foo_start -> eval_foo_bb0_in

Analysing control-flow refined program

CFR: Improvement to new bound with the following program:

new bound:

0 {O(1)}

cfr-program:

Start: eval_foo_start
Program_Vars:
Temp_Vars:
Locations: eval_foo_bb0_in, eval_foo_bb1_in, eval_foo_start
Transitions:
7:eval_foo_bb0_in -> eval_foo_bb1_in
8:eval_foo_bb1_in -> eval_foo_bb1_in
9:eval_foo_start -> eval_foo_bb0_in

All Bounds

Timebounds

Overall timebound:inf {Infinity}
7: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
8: eval_foo_bb1_in->eval_foo_bb1_in: inf {Infinity}
9: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}

Costbounds

Overall costbound: inf {Infinity}
7: eval_foo_bb0_in->eval_foo_bb1_in: 1 {O(1)}
8: eval_foo_bb1_in->eval_foo_bb1_in: inf {Infinity}
9: eval_foo_start->eval_foo_bb0_in: 1 {O(1)}

Sizebounds