blob: 45ad04b1bb2cac6d0de6fbb6fb30e84e201d9224 [file] [log] [blame]
Marshall Clow1f50f2d2014-05-08 14:14:06 +00001//===----------------------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#ifndef ASAN_TESTING_H
11#define ASAN_TESTING_H
12
Dan Albert1d4a1ed2016-05-25 22:36:09 -070013#include <__config>
Marshall Clow1f50f2d2014-05-08 14:14:06 +000014
Dan Albert1d4a1ed2016-05-25 22:36:09 -070015#ifndef _LIBCPP_HAS_NO_ASAN
Marshall Clow1f50f2d2014-05-08 14:14:06 +000016extern "C" int __sanitizer_verify_contiguous_container
17 ( const void *beg, const void *mid, const void *end );
Dan Albert1d4a1ed2016-05-25 22:36:09 -070018
Marshall Clow1f50f2d2014-05-08 14:14:06 +000019template <typename T, typename Alloc>
20bool is_contiguous_container_asan_correct ( const std::vector<T, Alloc> &c )
21{
Kostya Serebryany497f9122014-09-02 23:43:38 +000022 if ( std::is_same<Alloc, std::allocator<T> >::value && c.data() != NULL)
Marshall Clow1f50f2d2014-05-08 14:14:06 +000023 return __sanitizer_verify_contiguous_container (
24 c.data(), c.data() + c.size(), c.data() + c.capacity()) != 0;
25 return true;
26}
27
28#else
29template <typename T, typename Alloc>
Dan Albert1d4a1ed2016-05-25 22:36:09 -070030bool is_contiguous_container_asan_correct ( const std::vector<T, Alloc> &c )
Marshall Clow1f50f2d2014-05-08 14:14:06 +000031{
32 return true;
33}
34#endif
35
36
Kostya Serebryany497f9122014-09-02 23:43:38 +000037#endif // ASAN_TESTING_H