libstdc++: Handle type-changing path concatenations (PR 94063)
authorJonathan Wakely <jwakely@redhat.com>
Mon, 9 Mar 2020 23:22:57 +0000 (23:22 +0000)
committerJonathan Wakely <jwakely@redhat.com>
Mon, 9 Mar 2020 23:22:57 +0000 (23:22 +0000)
commitea182fe63634bb5b7913b3f1b6846e1900c5e0c4
tree038fadb07c156fa32263ca3f5d6b5a8b2fc89ce1
parent81fa6d7321dd9b645d86de4a8a6967c603f176e3
libstdc++: Handle type-changing path concatenations (PR 94063)

The filesystem::path::operator+= and filesystem::path::concat functions
operate directly on the native format of the path and so can cause a
path to mutate to a completely different type.

For Windows combining a filename "x" with a filename ":" produces a
root-name "x:". Similarly, a Cygwin root-directory "/" combined with a
root-directory and filename "/x" produces a root-name "//x".

Before this patch the implemenation didn't support those kind of
mutations, assuming that concatenating two filenames would always
produce a filename and concatenating with a root-dir would still have a
root-dir.

This patch fixes it simply by checking for the problem cases and
creating a new path by re-parsing the result of the string
concatenation. This is slightly suboptimal because the argument has
already been parsed if it's a path, but more importantly it doesn't
reuse any excess capacity that the path object being modified might
already have allocated. That can be fixed later though.

PR libstdc++/94063
* src/c++17/fs_path.cc (path::operator+=(const path&)): Add kluge to
handle concatenations that change the type of the first component.
(path::operator+=(basic_string_view<value_type>)): Likewise.
* testsuite/27_io/filesystem/path/concat/94063.cc: New test.
libstdc++-v3/ChangeLog
libstdc++-v3/src/c++17/fs_path.cc
libstdc++-v3/testsuite/27_io/filesystem/path/concat/94063.cc [new file with mode: 0644]