From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 17 Sep 2010 23:50:44 +0000 (-0700)
Subject: syntax-string-source: Fix format string problems.
X-Git-Tag: sav-api~18
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a27e454d1a65872d0b1147f320ba8cc42aa9275f;hp=a27e454d1a65872d0b1147f320ba8cc42aa9275f;p=pspp

syntax-string-source: Fix format string problems.

create_syntax_string_source() treated its argument as a printf-style format
string but wasn't annotated properly.  Most of the callers did not pass
string literals and were not escaped, so change it not to format its string
and add a new function create_syntax_format_source() with the previous
behavior.
---