diff mbox series

Fix handling of POSIX paths containing a root-name

Message ID 20181213203456.GA1896@redhat.com
State New
Headers show
Series Fix handling of POSIX paths containing a root-name | expand

Commit Message

Jonathan Wakely Dec. 13, 2018, 8:34 p.m. UTC
Fix path appending and concatenating to work correctly for a leading
root-name. Check a new macro, SLASHSLASH_IS_ROOT_NAME, instead of making
the behaviour depend directly on __CYGWIN__.

	* src/filesystem/std-path.cc (SLASHSLASH_IS_ROOT_NAME): New macro to
	control whether interpret paths with two slashes as a root-name.
	(path::operator/=(const path&)) [SLASHSLASH_IS_ROOT_NAME]: Add a
	root-directory when appending to a root-name.
	(path::_M_append(basic_string_view<value_type>))
	[SLASHSLASH_IS_ROOT_NAME]: Likewise.
	(path::operator/=(const path&)) [SLASHSLASH_IS_ROOT_NAME]: Likewise.
	(path::_M_concat(basic_string_view<value_type>))
	[SLASHSLASH_IS_ROOT_NAME]: Likewise.
	(path::lexically_normal()) [SLASHSLASH_IS_ROOT_NAME]: Use += instead
	of /= to add a root-directory to the result.
	* testsuite/27_io/filesystem/path/decompose/root_directory.cc: Fix
	expected result for Cygwin.

Tested x86_64-linux, as committed, and also with the new
SLASHSLASH_IS_ROOT_NAME macro defined to test that version of the
code.

Committed to trunk.
commit b15b89d09ec824a42c897851d9efe2405e92fb69
Author: redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Thu Dec 13 20:34:10 2018 +0000

    Fix handling of POSIX paths containing a root-name
    
    Fix path appending and concatenating to work correctly for a leading
    root-name. Check a new macro, SLASHSLASH_IS_ROOT_NAME, instead of making
    the behaviour depend directly on __CYGWIN__.
    
            * src/filesystem/std-path.cc (SLASHSLASH_IS_ROOT_NAME): New macro to
            control whether interpret paths with two slashes as a root-name.
            (path::operator/=(const path&)) [SLASHSLASH_IS_ROOT_NAME]: Add a
            root-directory when appending to a root-name.
            (path::_M_append(basic_string_view<value_type>))
            [SLASHSLASH_IS_ROOT_NAME]: Likewise.
            (path::operator/=(const path&)) [SLASHSLASH_IS_ROOT_NAME]: Likewise.
            (path::_M_concat(basic_string_view<value_type>))
            [SLASHSLASH_IS_ROOT_NAME]: Likewise.
            (path::lexically_normal()) [SLASHSLASH_IS_ROOT_NAME]: Use += instead
            of /= to add a root-directory to the result.
            * testsuite/27_io/filesystem/path/decompose/root_directory.cc: Fix
            expected result for Cygwin.
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@267107 138bc75d-0d04-0410-961f-82ee72b054a4
diff mbox series

Patch

diff --git a/libstdc++-v3/src/filesystem/std-path.cc b/libstdc++-v3/src/filesystem/std-path.cc
index e9c78924b8e..d2520492c03 100644
--- a/libstdc++-v3/src/filesystem/std-path.cc
+++ b/libstdc++-v3/src/filesystem/std-path.cc
@@ -26,6 +26,11 @@ 
 # define _GLIBCXX_USE_CXX11_ABI 1
 #endif
 
+#ifdef __CYGWIN__
+// Interpret "//x" as a root-name, not root-dir + filename
+# define SLASHSLASH_IS_ROOTNAME 1
+#endif
+
 #include <filesystem>
 #include <algorithm>
 #include <bits/stl_uninitialized.h>
@@ -70,7 +75,7 @@  struct path::_Parser
     // look for root name or root directory
     if (is_dir_sep(input[0]))
       {
-#ifdef __CYGWIN__
+#if SLASHSLASH_IS_ROOTNAME
 	// look for root name, such as "//foo"
 	if (len > 2 && input[1] == input[0])
 	  {
@@ -515,7 +520,7 @@  path::operator/=(const path& __p)
   string_view_type sep;
   if (has_filename())
     sep = { &preferred_separator, 1 };  // need to add a separator
-#ifdef __CYGWIN__
+#if SLASHSLASH_IS_ROOTNAME
   else if (_M_type() == _Type::_Root_name) // root-name with no root-dir
     sep = { &preferred_separator, 1 };  // need to add a separator
 #endif
@@ -535,6 +540,10 @@  path::operator/=(const path& __p)
     capacity += __p._M_cmpts.size();
   else if (!__p.empty() || !sep.empty())
     capacity += 1;
+#if SLASHSLASH_IS_ROOTNAME
+  if (orig_type == _Type::_Root_name)
+    ++capacity; // Need to insert root-directory after root-name
+#endif
 
   if (orig_type == _Type::_Multi)
     {
@@ -568,6 +577,14 @@  path::operator/=(const path& __p)
 	  string_view_type s(_M_pathname.data(), orig_pathlen);
 	  ::new(output++) _Cmpt(s, orig_type, 0);
 	  ++_M_cmpts._M_impl->_M_size;
+#if SLASHSLASH_IS_ROOTNAME
+	  if (orig_type == _Type::_Root_name)
+	    {
+	      ::new(output++) _Cmpt(sep, _Type::_Root_dir,
+				    orig_pathlen + sep.length());
+	      ++_M_cmpts._M_impl->_M_size;
+	    }
+#endif
 	}
 
       if (__p._M_type() == _Type::_Multi)
@@ -668,7 +685,7 @@  path::_M_append(basic_string_view<value_type> s)
   basic_string_view<value_type> sep;
   if (has_filename())
     sep = { &preferred_separator, 1 };  // need to add a separator
-#ifdef __CYGWIN__
+#if SLASHSLASH_IS_ROOTNAME
   else if (_M_type() == _Type::_Root_name) // root-name with no root-dir
     sep = { &preferred_separator, 1 };  // need to add a separator
 #endif
@@ -723,6 +740,11 @@  path::_M_append(basic_string_view<value_type> s)
   else if (!sep.empty())
     ++capacity;
 
+#if SLASHSLASH_IS_ROOTNAME
+  if (orig_type == _Type::_Root_name)
+    ++capacity; // Need to insert root-directory after root-name
+#endif
+
   __try
     {
       _M_cmpts.type(_Type::_Multi);
@@ -740,6 +762,15 @@  path::_M_append(basic_string_view<value_type> s)
 	  // Create single component from original path
 	  ::new(output++) _Cmpt(orig_pathname, orig_type, 0);
 	  ++_M_cmpts._M_impl->_M_size;
+
+#if SLASHSLASH_IS_ROOTNAME
+	  if (!sep.empty() && orig_type == _Type::_Root_name)
+	    {
+	      ::new(output++) _Cmpt(sep, _Type::_Root_dir,
+				    orig_pathlen + sep.length());
+	      ++_M_cmpts._M_impl->_M_size;
+	    }
+#endif
 	}
 
       if (next != buf.begin())
@@ -823,7 +854,11 @@  path::operator+=(const path& p)
     {
       // See if there's a filename or root-name at the end of the original path
       // that we can add to.
-      if (_M_type() == _Type::_Filename)
+      if (_M_type() == _Type::_Filename
+#if SLASHSLASH_IS_ROOTNAME
+	  || _M_type() == _Type::_Root_name
+#endif
+	  )
 	{
 	  if (p._M_type() == _Type::_Filename)
 	    {
@@ -858,8 +893,6 @@  path::operator+=(const path& p)
       && _M_cmpts.back()._M_type() == _Type::_Filename)
     orig_filenamelen = 0; // current path has empty filename at end
 
-  // TODO handle "//rootname" + "foo" case for Cygwin.
-
   int capacity = 0;
   if (_M_type() == _Type::_Multi)
     capacity += _M_cmpts.size();
@@ -884,6 +917,16 @@  path::operator+=(const path& p)
 	  ptr->_M_pathname.reserve(_M_pathname.length() + extra.length());
 	  ptr->_M_pathname = _M_pathname;
 	  ptr->_M_pathname += extra;
+
+#if SLASHSLASH_IS_ROOTNAME
+	  if (orig_type == _Type::_Root_name)
+	    {
+	      basic_string_view<value_type> s(p._M_pathname);
+	      ::new(output++) _Cmpt(s.substr(extra.length(), 1),
+		  _Type::_Root_dir, orig_pathlen + extra.length());
+	      ++_M_cmpts._M_impl->_M_size;
+	    }
+#endif
 	}
       else if (orig_filenamelen == 0 && it != last)
 	{
@@ -895,7 +938,7 @@  path::operator+=(const path& p)
 	{
 	  basic_string_view<value_type> s = it->_M_pathname;
 	  auto pos = orig_pathlen;
-#ifdef __CYGWIN__
+#if SLASHSLASH_IS_ROOTNAME
 	  s.remove_prefix(2);
 	  pos += 2;
 #endif
@@ -999,7 +1042,11 @@  path::_M_concat(basic_string_view<value_type> s)
     {
       // See if there's a filename or root-name at the end of the original path
       // that we can add to.
-      if (_M_type() == _Type::_Filename)
+      if (_M_type() == _Type::_Filename
+#if SLASHSLASH_IS_ROOTNAME
+	  || _M_type() == _Type::_Root_name
+#endif
+	  )
 	{
 	  if (cmpt.str.length() == s.length())
 	    {
@@ -1031,9 +1078,6 @@  path::_M_concat(basic_string_view<value_type> s)
       && _M_cmpts.back()._M_type() == _Type::_Filename)
     orig_filenamelen = 0; // original path had empty filename at end
 
-
-  // TODO handle "//rootname" + "foo" case for Cygwin.
-
   std::array<_Parser::cmpt, 64> buf;
   auto next = buf.begin();
 
@@ -1065,6 +1109,11 @@  path::_M_concat(basic_string_view<value_type> s)
   if (is_dir_sep(s.back()))
     ++capacity;
 
+#if SLASHSLASH_IS_ROOTNAME
+  if (orig_type == _Type::_Root_name)
+    ++capacity; // Need to insert root-directory after root-name
+#endif
+
   __try
     {
       _M_cmpts.type(_Type::_Multi);
@@ -1080,6 +1129,15 @@  path::_M_concat(basic_string_view<value_type> s)
 	  p->_M_pathname.reserve(orig_pathname.length() + extra.length());
 	  p->_M_pathname = orig_pathname;
 	  p->_M_pathname += extra;
+
+#if SLASHSLASH_IS_ROOTNAME
+	  if (orig_type == _Type::_Root_name)
+	    {
+	      ::new(output++) _Cmpt(s.substr(extra.length(), 1),
+		  _Type::_Root_dir, orig_pathlen + extra.length());
+	      ++_M_cmpts._M_impl->_M_size;
+	    }
+#endif
 	}
       else if (orig_filenamelen == 0)
 	{
@@ -1532,6 +1590,10 @@  path::lexically_normal() const
 	}
       else if (is_dot(p))
 	ret /= path();
+#if SLASHSLASH_IS_ROOTNAME
+      else if (p._M_type() == _Type::_Root_dir)
+	ret += '/'; // using operator/=('/') would replace whole of ret
+#endif
       else
 	ret /= p;
     }
diff --git a/libstdc++-v3/testsuite/27_io/filesystem/path/decompose/root_directory.cc b/libstdc++-v3/testsuite/27_io/filesystem/path/decompose/root_directory.cc
index da5f377de94..40af1551eeb 100644
--- a/libstdc++-v3/testsuite/27_io/filesystem/path/decompose/root_directory.cc
+++ b/libstdc++-v3/testsuite/27_io/filesystem/path/decompose/root_directory.cc
@@ -35,7 +35,11 @@  test01()
   path p2 = "/foo/bar";
   VERIFY( p2.root_directory() == path("/") );
   path p3 = "//foo";
+#ifdef __CYGWIN__
+  VERIFY( p3.root_directory() == path() );
+#else
   VERIFY( p3.root_directory() == path("/") );
+#endif
   path p4 = "///foo";
   VERIFY( p4.root_directory() == path("/") );
 }