Fix mismatch between printf format strings and arguments in some
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Mon, 11 Apr 2011 17:32:44 +0000 (17:32 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Mon, 11 Apr 2011 17:32:44 +0000 (17:32 +0000)
commit4d75528bc3258648db8362c00d7549839ec92776
tree5fdaca1cfb5189e19b5a4446d27655656244a876
parent643bf2a68213a95b387398fc90190dd5c2d1ae93
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
solo.c