I accidentally found that the local variable num_never_executed in function compute_branch_probabilities, is initialized to zero and never gets modified after that.
I suppose the statement in line 603: num_branches++, num_never_executed; was intended to be: num_branches++, num_never_executed++; Right ? Thanks, Edmar