neptards
/
libcxx
forked from mirror/libcxx
Code Issues Pull Requests Projects Releases Wiki Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
u3-8.0.1
release_90
master
release_80
release_70
release_60
release_50
release_40
release_39
release_38
release_37
release_36
svn-tags/RELEASE_360
svn-tags/RELEASE_351
svn-tags/RELEASE_350
release_35
release_350
svn-tags/RELEASE_35
svn-tags/RELEASE_342
svn-tags/RELEASE_34
release_34
svn-tags/RELEASE_33
release_33
release_32
apple
svn-tags/RELEASE_30
release_30
svn-tags/libcpp-31
svn-tags/libcpp-30
svn-tags/libcpp-29
svn-tags/libcpp-28
svn-tags/libcpp-27
svn-tags/libcpp-26
svn-tags/libcpp-25.1
apple25
svn-tags/libcpp-25
svn-tags/libcpp-24
svn-tags/libcpp-23.1
svn-tags/libcpp-23
svn-tags/libcpp-22
svn-tags/libcpp-21
svn-tags/libcpp-20
svn-tags/libcpp-19
svn-tags/libcpp-18
svn-tags/libcpp-17
svn-tags/libcpp-16
svn-tags/libcpp-15
svn-tags/libcpp-14
svn-tags/libcpp-13
svn-tags/libcpp-12
svn-tags/libcpp-11
svn-tags/libcpp-10
svn-tags/libcpp-9
svn-tags/libcpp-8.1
svn-tags/libcpp-8
svn-tags/libcpp-7
svn-tags/libcpp-6
svn-tags/libcpp-5
svn-tags/libcpp-4
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'u3-8.0.1'
${ noResults }
libcxx/test/std/thread/thread.mutex/thread.lock.algorithm/lock.pass.cpp

523 lines
9.4 KiB
C++
Raw Permalink Blame History

//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// UNSUPPORTED: libcpp-has-no-threads
// This test hangs forever when built against libstdc++ and MSVC. In order to allow
// validation of the test suite against other STLs we have to mark it
// unsupported.
// UNSUPPORTED: libstdc++, msvc
// <mutex>
// template <class L1, class L2, class... L3>
// void lock(L1&, L2&, L3&...);
#include <mutex>
#include <cassert>
#include "test_macros.h"
class L0
{
bool locked_;
public:
L0() : locked_(false) {}
void lock()
{
locked_ = true;
}
bool try_lock()
{
locked_ = true;
return locked_;
}
void unlock() {locked_ = false;}
bool locked() const {return locked_;}
};
class L1
{
bool locked_;
public:
L1() : locked_(false) {}
void lock()
{
locked_ = true;
}
bool try_lock()
{
locked_ = false;
return locked_;
}
void unlock() {locked_ = false;}
bool locked() const {return locked_;}
};
class L2
{
bool locked_;
public:
L2() : locked_(false) {}
void lock()
{
TEST_THROW(1);
}
bool try_lock()
{
TEST_THROW(1);
return locked_;
}
void unlock() {locked_ = false;}
bool locked() const {return locked_;}
};
int main()
{
{
L0 l0;
L0 l1;
std::lock(l0, l1);
assert(l0.locked());
assert(l1.locked());
}
{
L0 l0;
L1 l1;
std::lock(l0, l1);
assert(l0.locked());
assert(l1.locked());
}
{
L1 l0;
L0 l1;
std::lock(l0, l1);
assert(l0.locked());
assert(l1.locked());
}
#ifndef TEST_HAS_NO_EXCEPTIONS
{
L0 l0;
L2 l1;
try
{
std::lock(l0, l1);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
}
}
{
L2 l0;
L0 l1;
try
{
std::lock(l0, l1);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
}
}
{
L1 l0;
L2 l1;
try
{
std::lock(l0, l1);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
}
}
{
L2 l0;
L1 l1;
try
{
std::lock(l0, l1);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
}
}
{
L2 l0;
L2 l1;
try
{
std::lock(l0, l1);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
}
}
#endif
#if TEST_STD_VER >= 11
{
L0 l0;
L0 l1;
L0 l2;
std::lock(l0, l1, l2);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
}
#ifndef TEST_HAS_NO_EXCEPTIONS
{
L2 l0;
L2 l1;
L2 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
#endif
{
L0 l0;
L0 l1;
L1 l2;
std::lock(l0, l1, l2);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
}
{
L0 l0;
L1 l1;
L0 l2;
std::lock(l0, l1, l2);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
}
{
L1 l0;
L0 l1;
L0 l2;
std::lock(l0, l1, l2);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
}
#ifndef TEST_HAS_NO_EXCEPTIONS
{
L0 l0;
L0 l1;
L2 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L0 l0;
L2 l1;
L0 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L0 l1;
L0 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L2 l1;
L0 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L0 l1;
L2 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L0 l0;
L2 l1;
L2 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L2 l1;
L1 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L2 l0;
L1 l1;
L2 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
{
L1 l0;
L2 l1;
L2 l2;
try
{
std::lock(l0, l1, l2);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
}
}
#endif // TEST_HAS_NO_EXCEPTIONS
{
L0 l0;
L0 l1;
L0 l2;
L0 l3;
std::lock(l0, l1, l2, l3);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
assert(l3.locked());
}
{
L0 l0;
L0 l1;
L0 l2;
L1 l3;
std::lock(l0, l1, l2, l3);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
assert(l3.locked());
}
{
L0 l0;
L0 l1;
L1 l2;
L0 l3;
std::lock(l0, l1, l2, l3);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
assert(l3.locked());
}
{
L0 l0;
L1 l1;
L0 l2;
L0 l3;
std::lock(l0, l1, l2, l3);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
assert(l3.locked());
}
{
L1 l0;
L0 l1;
L0 l2;
L0 l3;
std::lock(l0, l1, l2, l3);
assert(l0.locked());
assert(l1.locked());
assert(l2.locked());
assert(l3.locked());
}
#ifndef TEST_HAS_NO_EXCEPTIONS
{
L0 l0;
L0 l1;
L0 l2;
L2 l3;
try
{
std::lock(l0, l1, l2, l3);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
}
{
L0 l0;
L0 l1;
L2 l2;
L0 l3;
try
{
std::lock(l0, l1, l2, l3);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
}
{
L0 l0;
L2 l1;
L0 l2;
L0 l3;
try
{
std::lock(l0, l1, l2, l3);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
}
{
L2 l0;
L0 l1;
L0 l2;
L0 l3;
try
{
std::lock(l0, l1, l2, l3);
assert(false);
}
catch (int)
{
assert(!l0.locked());
assert(!l1.locked());
assert(!l2.locked());
assert(!l3.locked());
}
}
#endif // TEST_HAS_NO_EXCEPTIONS
#endif // TEST_STD_VER >= 11
}
Reference in New Issue View Git Blame Copy Permalink