Merging calls to `abort'

[Richard Stallman]

    The __FILE__ strings will be combined, so you get a most one of it for
    each object file.

You're right about that.  So the increase in size due to fancy_abort
will be somewhat less than I previously said.  However, it will still
be an increase in size, compared with using abort and not
cross-jumping.

So the conclusion doesn't change: it makes no sense to insist on
cross-jumping abort calls to make the binary smaller, and tell the
user to deal with the resulting inconvenience with a technique that
makes the binary even bigger.