Fix handling of an empty filename at end of a path
authorJonathan Wakely <jwakely@redhat.com>
Wed, 23 May 2018 16:11:06 +0000 (17:11 +0100)
committerJonathan Wakely <redi@gcc.gnu.org>
Wed, 23 May 2018 16:11:06 +0000 (17:11 +0100)
commitcf290ea3255625513b6ad5a5c4e189c833a67a92
treeef3d41a212735827f10935b6954e5389c86704c2
parent7aa132501308fcb42ee2b189b9971df5a04ea0e7
Fix handling of an empty filename at end of a path

The C++17 std::filesystem::path grammar allows an empty filename as the
last component (to signify a trailing slash). The existing code does not
handle this consistently, sometimes an empty filename has type _Multi
and sometimes it has type _Filename. This can result in a non-empty
iterator range for an empty filename component.

This change ensures that empty paths always have type _Filename and will
yield an empty iterator range.

* include/bits/fs_path.h (path::_M_type): Change default member
initializer to _Filename.
(path::begin): Create past-the-end iterator for empty path.
* src/filesystem/std-path.cc (path::remove_filename()): Remove
debugging check.
(path::has_relative_path()): Return false for empty filenames.
(path::_M_split_cmpts): Set _M_type to _Filename for empty paths.
Fix offset of empty final component.
* testsuite/27_io/filesystem/path/itr/components.cc: New.
* testsuite/27_io/filesystem/path/itr/traversal.cc: Add new inputs.

From-SVN: r260616
libstdc++-v3/ChangeLog
libstdc++-v3/include/bits/fs_path.h
libstdc++-v3/src/filesystem/std-path.cc
libstdc++-v3/testsuite/27_io/filesystem/path/itr/components.cc [new file with mode: 0644]
libstdc++-v3/testsuite/27_io/filesystem/path/itr/traversal.cc