generic-library/cxx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Rooting out more undefined behavior in char_traits.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@229119 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Marshall Clow
2015-02-13 16:04:42 +00:00
parent c3068a136a
commit 6bcbced54f
17 changed files with 32 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/assign3.pass.cpp
View File

@@ -24,4 +24,5 @@ int main()
assert(s2[0] == char(5));
assert(s2[1] == char(5));
assert(s2[2] == char(5));
assert(std::char_traits<char>::assign(NULL, 0, char(5)) == NULL);
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/copy.pass.cpp
View File

@@ -24,4 +24,6 @@ int main()
assert(s2[0] == char(1));
assert(s2[1] == char(2));
assert(s2[2] == char(3));
assert(std::char_traits<char>::copy(NULL, s1, 0) == NULL);
assert(std::char_traits<char>::copy(s1, NULL, 0) == s1);
}

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/find.pass.cpp
View File

@@ -24,4 +24,5 @@ int main()
assert(std::char_traits<char>::find(s1, 3, char(3)) == s1+2);
assert(std::char_traits<char>::find(s1, 3, char(4)) == 0);
assert(std::char_traits<char>::find(s1, 3, char(0)) == 0);
assert(std::char_traits<char>::find(NULL, 0, char(0)) == 0);
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char/move.pass.cpp
View File

@@ -28,4 +28,6 @@ int main()
assert(s1[0] == char(2));
assert(s1[1] == char(2));
assert(s1[2] == char(3));
assert(std::char_traits<char>::move(NULL, s1, 0) == NULL);
assert(std::char_traits<char>::move(s1, NULL, 0) == s1);
}

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/assign3.pass.cpp
View File

@@ -25,5 +25,6 @@ int main()
assert(s2[0] == char16_t(5));
assert(s2[1] == char16_t(5));
assert(s2[2] == char16_t(5));
assert(std::char_traits<char16_t>::assign(NULL, 0, char16_t(5)) == NULL);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/copy.pass.cpp
View File

@@ -25,5 +25,7 @@ int main()
assert(s2[0] == char16_t(1));
assert(s2[1] == char16_t(2));
assert(s2[2] == char16_t(3));
assert(std::char_traits<char16_t>::copy(NULL, s1, 0) == NULL);
assert(std::char_traits<char16_t>::copy(s1, NULL, 0) == s1);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/find.pass.cpp
View File

@@ -25,5 +25,6 @@ int main()
assert(std::char_traits<char16_t>::find(s1, 3, char16_t(3)) == s1+2);
assert(std::char_traits<char16_t>::find(s1, 3, char16_t(4)) == 0);
assert(std::char_traits<char16_t>::find(s1, 3, char16_t(0)) == 0);
assert(std::char_traits<char16_t>::find(NULL, 0, char16_t(0)) == 0);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char16_t/move.pass.cpp
View File

@@ -29,5 +29,7 @@ int main()
assert(s1[0] == char16_t(2));
assert(s1[1] == char16_t(2));
assert(s1[2] == char16_t(3));
assert(std::char_traits<char16_t>::move(NULL, s1, 0) == NULL);
assert(std::char_traits<char16_t>::move(s1, NULL, 0) == s1);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign3.pass.cpp
View File

@@ -25,5 +25,6 @@ int main()
assert(s2[0] == char32_t(5));
assert(s2[1] == char32_t(5));
assert(s2[2] == char32_t(5));
assert(std::char_traits<char32_t>::assign(NULL, 0, char32_t(5)) == NULL);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/copy.pass.cpp
View File

@@ -25,5 +25,7 @@ int main()
assert(s2[0] == char32_t(1));
assert(s2[1] == char32_t(2));
assert(s2[2] == char32_t(3));
assert(std::char_traits<char32_t>::copy(NULL, s1, 0) == NULL);
assert(std::char_traits<char32_t>::copy(s1, NULL, 0) == s1);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/find.pass.cpp
View File

@@ -25,5 +25,6 @@ int main()
assert(std::char_traits<char32_t>::find(s1, 3, char32_t(3)) == s1+2);
assert(std::char_traits<char32_t>::find(s1, 3, char32_t(4)) == 0);
assert(std::char_traits<char32_t>::find(s1, 3, char32_t(0)) == 0);
assert(std::char_traits<char32_t>::find(NULL, 0, char32_t(0)) == 0);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/move.pass.cpp
View File

@@ -29,5 +29,7 @@ int main()
assert(s1[0] == char32_t(2));
assert(s1[1] == char32_t(2));
assert(s1[2] == char32_t(3));
assert(std::char_traits<char32_t>::move(NULL, s1, 0) == NULL);
assert(std::char_traits<char32_t>::move(s1, NULL, 0) == s1);
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/assign3.pass.cpp
View File

@@ -24,4 +24,5 @@ int main()
assert(s2[0] == wchar_t(5));
assert(s2[1] == wchar_t(5));
assert(s2[2] == wchar_t(5));
assert(std::char_traits<wchar_t>::assign(NULL, 0, wchar_t(5)) == NULL);
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/copy.pass.cpp
View File

@@ -24,4 +24,6 @@ int main()
assert(s2[0] == wchar_t(1));
assert(s2[1] == wchar_t(2));
assert(s2[2] == wchar_t(3));
assert(std::char_traits<wchar_t>::copy(NULL, s1, 0) == NULL);
assert(std::char_traits<wchar_t>::copy(s1, NULL, 0) == s1);
}

1
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/find.pass.cpp
View File

@@ -24,4 +24,5 @@ int main()
assert(std::char_traits<wchar_t>::find(s1, 3, wchar_t(3)) == s1+2);
assert(std::char_traits<wchar_t>::find(s1, 3, wchar_t(4)) == 0);
assert(std::char_traits<wchar_t>::find(s1, 3, wchar_t(0)) == 0);
assert(std::char_traits<wchar_t>::find(NULL, 0, wchar_t(0)) == 0);
}

2
test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.wchar.t/move.pass.cpp
View File

@@ -28,4 +28,6 @@ int main()
assert(s1[0] == wchar_t(2));
assert(s1[1] == wchar_t(2));
assert(s1[2] == wchar_t(3));
assert(std::char_traits<wchar_t>::move(NULL, s1, 0) == NULL);
assert(std::char_traits<wchar_t>::move(s1, NULL, 0) == s1);
}