// { dg-require-gthreads "" }
// { dg-require-atomic-builtins "" }
-// Copyright (C) 2010-2016 Free Software Foundation, Inc.
+// Copyright (C) 2010-2017 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// libstdc++/42819
void test01()
{
- bool test __attribute__((unused)) = true;
-
VERIFY( work1(1) == 3 );
VERIFY( work2(2) == 6 );
}