432
395
if (!current_ || (name && strcmp(name, current_->name()))) {
440
405
if (cpu_time_) current_->cpu_exit(get_cpu_time());
441
406
if (wall_time_) current_->wall_exit(get_wall_time());
442
407
if (flops_) current_->flops_exit(get_flops());
447
418
current_ = current_->up();