cpp basic block investigation