mirror of
https://github.com/microsoft/GSL.git
synced 2024-11-03 17:56:43 -05:00
cea0d0ac2b
* Added c++17 test configurations for clang5.0 and clang6.0 * Fixed CppCoreCheck warnings in GSL and tests - Added CMakeSettings.json for VS Open Folder configuration - So we can easily run CppCoreCheck in VS - Fixed CppCorecheck warnings where it made sense - Suppressed the rest - Some suppression does not work due to compiler/tool bugs, so replaced by #pragma disable - CppCoreCheck has noise, suppressed those with comments - Catch produces many warnings, blanket-supressed them all - Had to fix clang formatting to keep attributes in place - clang-format does not support attributes, so I am using - "CommentPragmas: '^ NO-FORMAT:'" to skip formatiting on them - Removed GSL_NOEXCEPT macro, removed incorred noexcepts * Ignore unknown attributes * ignore unknown attributes in noexception mode tests * fixed C26472 in at() * created GSL_SUPPRESS macro to allow all compilers to parse suppression attributes * try to fix gcc compilation problems with attributes * ignore gsl::suppress for gcc * move suppression to function level on return statements clang5.0 and up does not allow attributes on return statemets in constexpr functions * move suppression to function level on return statements * use GSL_SUPPRESS in algorithm_tests * Addressed PR comments
137 lines
3.4 KiB
C++
137 lines
3.4 KiB
C++
///////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Copyright (c) 2015 Microsoft Corporation. All rights reserved.
|
|
//
|
|
// This code is licensed under the MIT License (MIT).
|
|
//
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
// THE SOFTWARE.
|
|
//
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
#ifdef _MSC_VER
|
|
// blanket turn off warnings from CppCoreCheck from catch
|
|
// so people aren't annoyed by them when running the tool.
|
|
#pragma warning(disable : 26440 26426) // from catch
|
|
#endif
|
|
|
|
#include <catch/catch.hpp> // for AssertionHandler, StringRef, CHECK, TEST_...
|
|
|
|
#include <gsl/gsl_byte> // for to_byte, to_integer, byte, operator&, ope...
|
|
|
|
using namespace std;
|
|
using namespace gsl;
|
|
|
|
namespace
|
|
{
|
|
TEST_CASE("construction")
|
|
{
|
|
{
|
|
const byte b = static_cast<byte>(4);
|
|
CHECK(static_cast<unsigned char>(b) == 4);
|
|
}
|
|
|
|
GSL_SUPPRESS(es.49)
|
|
{
|
|
const byte b = byte(12);
|
|
CHECK(static_cast<unsigned char>(b) == 12);
|
|
}
|
|
|
|
{
|
|
const byte b = to_byte<12>();
|
|
CHECK(static_cast<unsigned char>(b) == 12);
|
|
}
|
|
{
|
|
const unsigned char uc = 12;
|
|
const byte b = to_byte(uc);
|
|
CHECK(static_cast<unsigned char>(b) == 12);
|
|
}
|
|
|
|
#if defined(__cplusplus) && (__cplusplus >= 201703L)
|
|
{
|
|
const byte b { 14 };
|
|
CHECK(static_cast<unsigned char>(b) == 14);
|
|
}
|
|
#endif
|
|
}
|
|
|
|
TEST_CASE("bitwise_operations")
|
|
{
|
|
const byte b = to_byte<0xFF>();
|
|
|
|
byte a = to_byte<0x00>();
|
|
CHECK((b | a) == to_byte<0xFF>());
|
|
CHECK(a == to_byte<0x00>());
|
|
|
|
a |= b;
|
|
CHECK(a == to_byte<0xFF>());
|
|
|
|
a = to_byte<0x01>();
|
|
CHECK((b & a) == to_byte<0x01>());
|
|
|
|
a &= b;
|
|
CHECK(a == to_byte<0x01>());
|
|
|
|
CHECK((b ^ a) == to_byte<0xFE>());
|
|
|
|
CHECK(a == to_byte<0x01>());
|
|
a ^= b;
|
|
CHECK(a == to_byte<0xFE>());
|
|
|
|
a = to_byte<0x01>();
|
|
CHECK(~a == to_byte<0xFE>());
|
|
|
|
a = to_byte<0xFF>();
|
|
CHECK((a << 4) == to_byte<0xF0>());
|
|
CHECK((a >> 4) == to_byte<0x0F>());
|
|
|
|
a <<= 4;
|
|
CHECK(a == to_byte<0xF0>());
|
|
a >>= 4;
|
|
CHECK(a == to_byte<0x0F>());
|
|
}
|
|
|
|
TEST_CASE("to_integer")
|
|
{
|
|
const byte b = to_byte<0x12>();
|
|
|
|
CHECK(0x12 == gsl::to_integer<char>(b));
|
|
CHECK(0x12 == gsl::to_integer<short>(b));
|
|
CHECK(0x12 == gsl::to_integer<long>(b));
|
|
CHECK(0x12 == gsl::to_integer<long long>(b));
|
|
|
|
CHECK(0x12 == gsl::to_integer<unsigned char>(b));
|
|
CHECK(0x12 == gsl::to_integer<unsigned short>(b));
|
|
CHECK(0x12 == gsl::to_integer<unsigned long>(b));
|
|
CHECK(0x12 == gsl::to_integer<unsigned long long>(b));
|
|
|
|
// CHECK(0x12 == gsl::to_integer<float>(b)); // expect compile-time error
|
|
// CHECK(0x12 == gsl::to_integer<double>(b)); // expect compile-time error
|
|
}
|
|
|
|
int modify_both(gsl::byte & b, int& i)
|
|
{
|
|
i = 10;
|
|
b = to_byte<5>();
|
|
return i;
|
|
}
|
|
|
|
GSL_SUPPRESS(type.1)
|
|
TEST_CASE("aliasing")
|
|
{
|
|
int i{0};
|
|
const int res = modify_both(reinterpret_cast<byte&>(i), i);
|
|
CHECK(res == i);
|
|
}
|
|
|
|
}
|
|
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
copy(src_span_static, dst_span_static);
|
|
#endif
|