[libcxx-commits] [PATCH] D153980: [libc++] Move all the remaining .fail.cpp tests to .verify.cpp
Louis Dionne via Phabricator via libcxx-commits
libcxx-commits at lists.llvm.org
Mon Jul 3 06:41:30 PDT 2023
This revision was automatically updated to reflect the committed changes.
Closed by commit rGb82dcb624e6b: [libc++] Move all the remaining .fail.cpp tests to .verify.cpp (authored by ldionne).
Changed prior to commit:
https://reviews.llvm.org/D153980?vs=535989&id=536752#toc
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D153980/new/
https://reviews.llvm.org/D153980
Files:
libcxx/test/libcxx/containers/unord/unord.set/missing_hash_specialization.fail.cpp
libcxx/test/libcxx/containers/unord/unord.set/missing_hash_specialization.verify.cpp
libcxx/test/libcxx/depr/exception.unexpected/unexpected_disabled_cpp17.fail.cpp
libcxx/test/libcxx/depr/exception.unexpected/unexpected_disabled_cpp17.verify.cpp
libcxx/test/libcxx/utilities/memory/util.smartptr/util.smartptr.shared/function_type_default_deleter.fail.cpp
libcxx/test/libcxx/utilities/memory/util.smartptr/util.smartptr.shared/function_type_default_deleter.verify.cpp
libcxx/test/libcxx/utilities/variant/variant.variant/variant.helper/variant_alternative.fail.cpp
libcxx/test/libcxx/utilities/variant/variant.variant/variant.helper/variant_alternative.verify.cpp
libcxx/test/std/algorithms/alg.modifying.operations/alg.random.sample/sample.fail.cpp
libcxx/test/std/algorithms/alg.modifying.operations/alg.random.sample/sample.verify.cpp
libcxx/test/std/algorithms/alg.sorting/alg.min.max/requires_forward_iterator.fail.cpp
libcxx/test/std/algorithms/alg.sorting/alg.min.max/requires_forward_iterator.verify.cpp
libcxx/test/std/containers/associative/map/map.cons/deduct.fail.cpp
libcxx/test/std/containers/associative/map/map.cons/deduct.verify.cpp
libcxx/test/std/containers/associative/multimap/multimap.cons/deduct.fail.cpp
libcxx/test/std/containers/associative/multimap/multimap.cons/deduct.verify.cpp
libcxx/test/std/containers/associative/multiset/multiset.cons/deduct.fail.cpp
libcxx/test/std/containers/associative/multiset/multiset.cons/deduct.verify.cpp
libcxx/test/std/containers/associative/set/set.cons/deduct.fail.cpp
libcxx/test/std/containers/associative/set/set.cons/deduct.verify.cpp
libcxx/test/std/containers/container.adaptors/priority.queue/priqueue.cons/deduct.fail.cpp
libcxx/test/std/containers/container.adaptors/priority.queue/priqueue.cons/deduct.verify.cpp
libcxx/test/std/containers/container.adaptors/queue/queue.cons/deduct.fail.cpp
libcxx/test/std/containers/container.adaptors/queue/queue.cons/deduct.verify.cpp
libcxx/test/std/containers/container.adaptors/stack/stack.cons/deduct.fail.cpp
libcxx/test/std/containers/container.adaptors/stack/stack.cons/deduct.verify.cpp
libcxx/test/std/containers/sequences/array/array.cons/deduct.fail.cpp
libcxx/test/std/containers/sequences/array/array.cons/deduct.verify.cpp
libcxx/test/std/containers/sequences/array/array.creation/to_array.fail.cpp
libcxx/test/std/containers/sequences/array/array.creation/to_array.verify.cpp
libcxx/test/std/containers/sequences/array/array.fill/fill.fail.cpp
libcxx/test/std/containers/sequences/array/array.fill/fill.verify.cpp
libcxx/test/std/containers/sequences/array/array.swap/swap.fail.cpp
libcxx/test/std/containers/sequences/array/array.swap/swap.verify.cpp
libcxx/test/std/containers/sequences/deque/deque.cons/deduct.fail.cpp
libcxx/test/std/containers/sequences/deque/deque.cons/deduct.verify.cpp
libcxx/test/std/containers/sequences/forwardlist/forwardlist.cons/deduct.fail.cpp
libcxx/test/std/containers/sequences/forwardlist/forwardlist.cons/deduct.verify.cpp
libcxx/test/std/containers/sequences/list/list.cons/deduct.fail.cpp
libcxx/test/std/containers/sequences/list/list.cons/deduct.verify.cpp
libcxx/test/std/containers/sequences/vector/vector.cons/deduct.fail.cpp
libcxx/test/std/containers/sequences/vector/vector.cons/deduct.verify.cpp
libcxx/test/std/containers/sequences/vector/vector.modifiers/resize_not_move_insertable.fail.cpp
libcxx/test/std/containers/sequences/vector/vector.modifiers/resize_not_move_insertable.verify.cpp
libcxx/test/std/containers/unord/unord.map/unord.map.cnstr/deduct.fail.cpp
libcxx/test/std/containers/unord/unord.map/unord.map.cnstr/deduct.verify.cpp
libcxx/test/std/containers/unord/unord.multimap/unord.multimap.cnstr/deduct.fail.cpp
libcxx/test/std/containers/unord/unord.multimap/unord.multimap.cnstr/deduct.verify.cpp
libcxx/test/std/containers/unord/unord.multiset/unord.multiset.cnstr/deduct.fail.cpp
libcxx/test/std/containers/unord/unord.multiset/unord.multiset.cnstr/deduct.verify.cpp
libcxx/test/std/containers/unord/unord.set/unord.set.cnstr/deduct.fail.cpp
libcxx/test/std/containers/unord/unord.set/unord.set.cnstr/deduct.verify.cpp
libcxx/test/std/containers/views/views.span/span.cons/span.fail.cpp
libcxx/test/std/containers/views/views.span/span.cons/span.verify.cpp
libcxx/test/std/experimental/memory/memory.resource/construct.fail.cpp
libcxx/test/std/experimental/memory/memory.resource/construct.verify.cpp
libcxx/test/std/experimental/memory/memory.resource/memory.resource.priv/private_members.fail.cpp
libcxx/test/std/experimental/memory/memory.resource/memory.resource.priv/private_members.verify.cpp
libcxx/test/std/experimental/utilities/meta/meta.detect/nonesuch.fail.cpp
libcxx/test/std/experimental/utilities/meta/meta.detect/nonesuch.verify.cpp
libcxx/test/std/input.output/filesystems/class.path/path.nonmember/append_op.fail.cpp
libcxx/test/std/input.output/filesystems/class.path/path.nonmember/append_op.verify.cpp
libcxx/test/std/input.output/filesystems/class.path/path.nonmember/comparison_ops.fail.cpp
libcxx/test/std/input.output/filesystems/class.path/path.nonmember/comparison_ops.verify.cpp
libcxx/test/std/input.output/iostream.format/input.streams/istream/istream.cons/copy.fail.cpp
libcxx/test/std/input.output/iostream.format/input.streams/istream/istream.cons/copy.verify.cpp
libcxx/test/std/input.output/stream.buffers/streambuf/streambuf.cons/copy.fail.cpp
libcxx/test/std/input.output/stream.buffers/streambuf/streambuf.cons/copy.verify.cpp
libcxx/test/std/iterators/iterator.primitives/iterator.traits/empty.fail.cpp
libcxx/test/std/iterators/iterator.primitives/iterator.traits/empty.verify.cpp
libcxx/test/std/language.support/support.dynamic/ptr.launder/launder.types.fail.cpp
libcxx/test/std/language.support/support.dynamic/ptr.launder/launder.types.verify.cpp
libcxx/test/std/numerics/bit/bit.pow.two/bit_ceil.fail.cpp
libcxx/test/std/numerics/bit/bit.pow.two/bit_ceil.verify.cpp
libcxx/test/std/numerics/complex.number/cmplx.over/UDT_is_rejected.fail.cpp
libcxx/test/std/numerics/complex.number/cmplx.over/UDT_is_rejected.verify.cpp
libcxx/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.fail.cpp
libcxx/test/std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.verify.cpp
libcxx/test/std/numerics/rand/rand.eng/rand.eng.lcong/params.fail.cpp
libcxx/test/std/numerics/rand/rand.eng/rand.eng.lcong/params.verify.cpp
libcxx/test/std/re/re.regex/re.regex.construct/deduct.fail.cpp
libcxx/test/std/re/re.regex/re.regex.construct/deduct.verify.cpp
libcxx/test/std/strings/basic.string.hash/char_type_hash.fail.cpp
libcxx/test/std/strings/basic.string.hash/char_type_hash.verify.cpp
libcxx/test/std/strings/string.view/char.bad.fail.cpp
libcxx/test/std/strings/string.view/char.bad.verify.cpp
libcxx/test/std/strings/string.view/string.view.hash/char_type.hash.fail.cpp
libcxx/test/std/strings/string.view/string.view.hash/char_type.hash.verify.cpp
libcxx/test/std/thread/futures/futures.task/futures.task.members/assign_copy.fail.cpp
libcxx/test/std/thread/futures/futures.task/futures.task.members/assign_copy.verify.cpp
libcxx/test/std/thread/futures/futures.task/futures.task.members/ctor1.fail.cpp
libcxx/test/std/thread/futures/futures.task/futures.task.members/ctor1.verify.cpp
libcxx/test/std/thread/futures/futures.task/futures.task.members/ctor_copy.fail.cpp
libcxx/test/std/thread/futures/futures.task/futures.task.members/ctor_copy.verify.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.guard/mutex.fail.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.guard/mutex.verify.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.scoped/assign.fail.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.scoped/assign.verify.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.scoped/copy.fail.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.scoped/copy.verify.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.scoped/mutex.fail.cpp
libcxx/test/std/thread/thread.mutex/thread.lock/thread.lock.scoped/mutex.verify.cpp
libcxx/test/std/thread/thread.mutex/thread.mutex.requirements/thread.shared_mutex.requirements/thread.shared_mutex.class/assign.fail.cpp
libcxx/test/std/thread/thread.mutex/thread.mutex.requirements/thread.shared_mutex.requirements/thread.shared_mutex.class/assign.verify.cpp
libcxx/test/std/thread/thread.mutex/thread.mutex.requirements/thread.shared_mutex.requirements/thread.shared_mutex.class/copy.fail.cpp
libcxx/test/std/thread/thread.mutex/thread.mutex.requirements/thread.shared_mutex.requirements/thread.shared_mutex.class/copy.verify.cpp
libcxx/test/std/time/time.cal/time.cal.day/time.cal.day.nonmembers/literals.fail.cpp
libcxx/test/std/time/time.cal/time.cal.day/time.cal.day.nonmembers/literals.verify.cpp
libcxx/test/std/time/time.cal/time.cal.year/time.cal.year.nonmembers/literals.fail.cpp
libcxx/test/std/time/time.cal/time.cal.year/time.cal.year.nonmembers/literals.verify.cpp
libcxx/test/std/time/time.hms/hhmmss.fail.cpp
libcxx/test/std/time/time.hms/hhmmss.verify.cpp
libcxx/test/std/utilities/any/any.nonmembers/any.cast/any_cast_request_invalid_value_category.fail.cpp
libcxx/test/std/utilities/any/any.nonmembers/any.cast/any_cast_request_invalid_value_category.verify.cpp
libcxx/test/std/utilities/any/any.nonmembers/any.cast/reference_types.fail.cpp
libcxx/test/std/utilities/any/any.nonmembers/any.cast/reference_types.verify.cpp
libcxx/test/std/utilities/charconv/charconv.from.chars/integral.bool.fail.cpp
libcxx/test/std/utilities/charconv/charconv.from.chars/integral.bool.verify.cpp
libcxx/test/std/utilities/charconv/charconv.to.chars/integral.bool.fail.cpp
libcxx/test/std/utilities/charconv/charconv.to.chars/integral.bool.verify.cpp
libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq.fail.cpp
libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq.verify.cpp
libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq_fallback.compile.fail.cpp
libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq_fallback.verify.cpp
libcxx/test/std/utilities/memory/unique.ptr/unique.ptr.special/io.fail.cpp
libcxx/test/std/utilities/memory/unique.ptr/unique.ptr.special/io.verify.cpp
libcxx/test/std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.const/shared_ptr_copy_move.fail.cpp
libcxx/test/std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.const/shared_ptr_copy_move.verify.cpp
libcxx/test/std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.obs/op_arrow.fail.cpp
libcxx/test/std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.obs/op_arrow.verify.cpp
libcxx/test/std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.obs/op_bracket.fail.cpp
libcxx/test/std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.obs/op_bracket.verify.cpp
libcxx/test/std/utilities/meta/meta.const.eval/is_constant_evaluated.fail.cpp
libcxx/test/std/utilities/meta/meta.const.eval/is_constant_evaluated.verify.cpp
libcxx/test/std/utilities/meta/meta.trans/meta.trans.other/underlying_type.fail.cpp
libcxx/test/std/utilities/meta/meta.trans/meta.trans.other/underlying_type.verify.cpp
libcxx/test/std/utilities/optional/optional.object/optional.object.ctor/ctor.fail.cpp
libcxx/test/std/utilities/optional/optional.object/optional.object.ctor/ctor.verify.cpp
libcxx/test/std/utilities/optional/optional.object/optional.object.ctor/deduct.fail.cpp
libcxx/test/std/utilities/optional/optional.object/optional.object.ctor/deduct.verify.cpp
libcxx/test/std/utilities/optional/optional.object/optional_requires_destructible_object.fail.cpp
libcxx/test/std/utilities/optional/optional.object/optional_requires_destructible_object.verify.cpp
libcxx/test/std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.ctor/pointer_deleter.fail.cpp
libcxx/test/std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.ctor/pointer_deleter.verify.cpp
libcxx/test/std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.modifiers/reset.runtime.fail.cpp
libcxx/test/std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.modifiers/reset.runtime.verify.cpp
libcxx/test/std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.observers/op_subscript.single.fail.cpp
libcxx/test/std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.observers/op_subscript.single.verify.cpp
libcxx/test/std/utilities/utility/forward/forward.fail.cpp
libcxx/test/std/utilities/utility/forward/forward.verify.cpp
libcxx/test/std/utilities/utility/forward/move.fail.cpp
libcxx/test/std/utilities/utility/forward/move.verify.cpp
libcxx/test/std/utilities/utility/mem.res/mem.res/construct.fail.cpp
libcxx/test/std/utilities/utility/mem.res/mem.res/construct.verify.cpp
libcxx/test/std/utilities/utility/mem.res/mem.res/mem.res.private/private_members.fail.cpp
libcxx/test/std/utilities/utility/mem.res/mem.res/mem.res.private/private_members.verify.cpp
libcxx/test/std/utilities/utility/mem.res/mem.res/mem.res.private/protected_members.fail.cpp
libcxx/test/std/utilities/utility/mem.res/mem.res/mem.res.private/protected_members.verify.cpp
libcxx/test/std/utilities/utility/utility.intcmp/intcmp.fail.cpp
libcxx/test/std/utilities/utility/utility.intcmp/intcmp.verify.cpp
libcxx/test/std/utilities/variant/variant.helpers/variant_alternative.fail.cpp
libcxx/test/std/utilities/variant/variant.helpers/variant_alternative.verify.cpp
libcxx/test/std/utilities/variant/variant.relops/relops_bool_conv.fail.cpp
libcxx/test/std/utilities/variant/variant.relops/relops_bool_conv.verify.cpp
libcxx/test/std/utilities/variant/variant.variant/variant.assign/copy.fail.cpp
libcxx/test/std/utilities/variant/variant.variant/variant.assign/copy.verify.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_array.fail.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_array.verify.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_empty.fail.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_empty.verify.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_reference.fail.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_reference.verify.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_void.fail.cpp
libcxx/test/std/utilities/variant/variant.variant/variant_void.verify.cpp
Index: libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq_fallback.verify.cpp
===================================================================
--- libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq_fallback.verify.cpp
+++ libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq_fallback.verify.cpp
@@ -16,5 +16,9 @@
// This test hangs during recursive template instantiation with libstdc++
// UNSUPPORTED: stdlib=libstdc++
-#define _LIBCPP_TESTING_FALLBACK_MAKE_INTEGER_SEQUENCE
-#include "make_integer_seq.fail.cpp"
+// ADDITIONAL_COMPILE_FLAGS: -D_LIBCPP_TESTING_FALLBACK_MAKE_INTEGER_SEQUENCE
+
+#include <utility>
+
+typedef std::make_integer_sequence<int, -3> MakeSeqT;
+MakeSeqT i; // expected-error-re@*:* {{{{(static_assert|static assertion)}} failed{{.*}}std::make_integer_sequence must have a non-negative sequence length}}
Index: libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq.verify.cpp
===================================================================
--- libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq.verify.cpp
+++ libcxx/test/std/utilities/intseq/intseq.make/make_integer_seq.verify.cpp
@@ -17,22 +17,15 @@
// UNSUPPORTED: stdlib=libstdc++
#include <utility>
-#include <type_traits>
-#include <cassert>
#include "test_macros.h"
-int main(int, char**)
-{
- typedef std::make_integer_sequence<int, -3> MakeSeqT;
+typedef std::make_integer_sequence<int, -3> MakeSeqT;
- // std::make_integer_sequence is implemented using a compiler builtin if available.
- // this builtin has different diagnostic messages than the fallback implementation.
-#if TEST_HAS_BUILTIN(__make_integer_seq) && !defined(_LIBCPP_TESTING_FALLBACK_MAKE_INTEGER_SEQUENCE)
- MakeSeqT i; // expected-error@*:* {{integer sequences must have non-negative sequence length}}
+// std::make_integer_sequence is implemented using a compiler builtin if available.
+// this builtin has different diagnostic messages than the fallback implementation.
+#if TEST_HAS_BUILTIN(__make_integer_seq)
+MakeSeqT i; // expected-error@*:* {{integer sequences must have non-negative sequence length}}
#else
- MakeSeqT i; // expected-error-re@*:* {{{{(static_assert|static assertion)}} failed{{.*}}std::make_integer_sequence must have a non-negative sequence length}}
+MakeSeqT i; // expected-error-re@*:* {{{{(static_assert|static assertion)}} failed{{.*}}std::make_integer_sequence must have a non-negative sequence length}}
#endif
-
- return 0;
-}
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D153980.536752.patch
Type: text/x-patch
Size: 2496 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/libcxx-commits/attachments/20230703/432d4afb/attachment.bin>
More information about the libcxx-commits
mailing list