From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
Date: Mon, 11 Apr 2011 17:32:44 +0000 (+0000)
Subject: Fix mismatch between printf format strings and arguments in some
X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/puzzles/commitdiff_plain/4d75528bc3258648db8362c00d7549839ec92776?hp=4d75528bc3258648db8362c00d7549839ec92776

Fix mismatch between printf format strings and arguments in some
solosolver verbose diagnostics in X mode. Also added gcc-specific
prototypes with __attribute__((format)) to ensure they all get checked
in future.

Spotted by Arun Giridhar; segfault without this fix is reproducible by
'solosolver -v 3x3x:7_9e4_1c7d3e3d1b2_4e2c6e5_6b1d8e5d9c8_2e9_5'.


git-svn-id: svn://svn.tartarus.org/sgt/puzzles@9151 cda61777-01e9-0310-a592-d414129be87e
---