Log Message:
Re: PR 25725 Syntax errors prevent compilation of with gcc 3.4.0
The patch-ac corrects four instances of printf being called with an
uncompilable argument list; the patch follows a recommendation from
Christian Biere <christianbiere@gmx.de>.
The patch-ad corrects a situation where a label at end of block prevents
compilation; the fix adds a null statement as the label's target.