aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorGuillaume Melquiond2015-12-31 17:00:42 +0100
committerGuillaume Melquiond2015-12-31 17:00:42 +0100
commitd3bc575c498ae09ad1003405d17a9d5cfbcf3cbf (patch)
tree0e4073818b6de4b44e4282bdabf5ab7fb7191072 /kernel
parentb2eaecf0e748e3c286e1ef337f72cee6d3475162 (diff)
Do not dump a glob reference when its location is ghost. (Fix bug #4469)
This patch also causes the code to finish a bit faster in the NoGlob case by not preparing a string for dump_string. It also optimizes Dumpglob.is_ghost by only checking whether the end position is zero. Note that no ghost locations were part of the glob files of the standard library before the patch. Note also that the html documentation of the standard library is bitwise identical before and after the patch.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions