Counting of paths is erroneous for "do ... while(0)" constructs

[bright-tools]

For a do ... while(0) construct (not uncommonly used to allow multi-line macros to be used anywhere that a single statement can), there is in fact only one route through the code, as there will never be a branch. It would he helpful if CCSM were able to take this into account.