}
}
else {
- os << "'Default' branch taken.";
+ os << "'Default' branch taken. ";
ExecutionContinues(os, SMgr, LastNode);
}
std::ostringstream os;
- os << "Loop condition is true.";
+ os << "Loop condition is true. ";
ExecutionContinues(os, SMgr, Dst);
PD.push_front(new PathDiagnosticPiece(L, os.str()));
std::ostringstream os;
- os << "Loop condition is false.";
+ os << "Loop condition is false. ";
ExecutionContinues(os, SMgr, Dst);
PD.push_front(new PathDiagnosticPiece(L, os.str()));