K 10
svn:author
V 6
kevans
K 8
svn:date
V 27
2021-01-05T20:03:10.157674Z
K 7
svn:log
V 707
Fix bad libbxo format strings in jls

The existing format string for the empty case was trying to read varargs
values that weren't passed to xo_emit. This appears to work on x86 (since
the next argument is probably a pointer an empty string), but for CHERI
we can bound variadic arguments and detect a read past the end.

While touching these lines also use the libxo 'a' modifier to avoid having to
construct the libxo format string using asprintf.

Found by:	CHERI
Reviewed By:	allanjude
Differential Revision: https://reviews.freebsd.org/D26885

(cherry picked from commit d24f17df969107b47af60e5ccc1ed0f1a467fc6f)

Git Hash:   1e6afe0f7d2346ac5b864b6b01bb9458f5349347
Git Author: arichardson@FreeBSD.org
END