gas: retain whitespace between strings
authorJan Beulich <jbeulich@suse.com>
Wed, 23 Mar 2022 07:41:54 +0000 (08:41 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 23 Mar 2022 07:41:54 +0000 (08:41 +0100)
commitb3446f947bd16a0e2a211343d076c36e4de68a2c
tree3544a5bf7471201e49fee70fb96080e2fdad59bc
parentb8466ab5e50377ddc52ea9b479be5543793123dd
gas: retain whitespace between strings

Macro arguments may be separated by commas or just whitespace. Macro
arguments may also be quoted (where one level of quotes is removed in
the course of determining the values for the respective formal
parameters). Furthermore this quote removal knows _two_ somewhat odd
escaping mechanisms: One, apparently in existence forever, is that a
pair of quotes counts as the escaping of a quote, with the pair being
transformed to a single quote in the course of quote removal. The other
(introduced by c06ae4f232e6) looks more usual on the surface in that it
deals with \" sequences, but it _retains_ the escaping \. Hence only the
former mechanism is suitable when the value to be used by the macro body
is to contain a quote. Yet this results in ambiguity of what "a""b" is
intended to mean; elsewhere (e.g. for .ascii) it represents two
successive string literals. However, in any event is the above different
from "a" "b": I don't think this can be viewed the same as "a""b" when
processing macro arguments.

Change the scrubber to retain such whitespace, by making the processing
of strings more similar to that of symbols. And indeed this appears to
make sense when taking into account that for quite a while gas has been
supporting quoted symbol names.

Taking a more general view, however, the change doesn't go quite far
enough. There are further cases where significant whitespace is removed
by the scrubber. The new testcase enumerates a few in its ".if 0"
section. I'm afraid the only way that I see to deal with this would be
to significantly simplify the scrubber, such that it wouldn't do much
more than collapse sequences of unquoted whitespace into a single blank.
To be honest problems in this area aren't really surprising when seeing
that there's hardly any checking of .macro use throughout the testsuite
(and in particular in the [relatively] generic tests under all/).
gas/app.c
gas/doc/as.texi
gas/testsuite/gas/all/gas.exp
gas/testsuite/gas/all/macro.l [new file with mode: 0644]
gas/testsuite/gas/all/macro.s [new file with mode: 0644]