From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 24 Sep 2017 02:44:48 +0000 (-0700)
Subject: Avoid unfounded warnings from GCC 7.2.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=047d4a8e14cdbb50258bf8c5634db24a88767f24;hp=047d4a8e14cdbb50258bf8c5634db24a88767f24;p=pspp

Avoid unfounded warnings from GCC 7.2.

GCC thinks that these printf formats can produce output longer than the
buffer that is available for them.  I think that it is wrong, but it is
easy enough to use larger (or variable-length) buffers, so this commit
does that.
---