cmake/assert_check/StdlibAssertProbe.cpp

0001 // This file is part of the ACTS project.
0002 //
0003 // Copyright (C) 2016 CERN for the benefit of the ACTS project
0004 //
0005 // This Source Code Form is subject to the terms of the Mozilla Public
0006 // License, v. 2.0. If a copy of the MPL was not distributed with this
0007 // file, You can obtain one at https://mozilla.org/MPL/2.0/.
0008
0009 // Checks that the standard library's own precondition checks are enabled.
0010 // Only libstdc++ is covered: _LIBCPP_DEBUG is a no-op in current libc++.
0011
0012 #include <cstddef>
0013 #include <cstdio>
0014 #include <vector>
0015
0016 int main() {
0017 #if defined(__GLIBCXX__)
0018   std::vector<int> values(1);
0019   volatile std::size_t index = 1;
0020   int value = values[index];
0021   std::printf("ACTS_ASSERTION_NOT_TRIGGERED %d\n", value);
0022   return 0;
0023 #else
0024   // Reported as skipped by RunAssertProbe.cmake
0025   return 77;
0026 #endif
0027 }