int main() { #if __cplusplus >= 201103L { typedef int T; typedef std::vector<T, min_allocator<T>> C; const T t[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; C c(std::begin(t), std::end(t)); c.reserve(2*c.size()); T foo = c[c.size()]; // bad, but not caught by ASAN } #endif __asan_set_error_exit_code(0); { typedef int T; typedef std::vector<T> C; const T t[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; C c(std::begin(t), std::end(t)); c.reserve(2*c.size()); assert(is_contiguous_container_asan_correct(c)); assert(!__sanitizer_verify_contiguous_container ( c.data(), c.data() + 1, c.data() + c.capacity())); T foo = c[c.size()]; // should trigger ASAN assert(false); // if we got here, ASAN didn't trigger } }
int main() { #if TEST_STD_VER >= 11 { typedef int T; typedef std::vector<T, min_allocator<T>> C; const T t[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; C c(std::begin(t), std::end(t)); c.reserve(2*c.size()); T foo = c[c.size()]; // bad, but not caught by ASAN } #endif { typedef input_iterator<int*> MyInputIter; // Sould not trigger ASan. std::vector<int> v; v.reserve(1); int i[] = {42}; v.insert(v.begin(), MyInputIter(i), MyInputIter(i + 1)); assert(v[0] == 42); assert(is_contiguous_container_asan_correct(v)); } __asan_set_error_exit_code(0); { typedef int T; typedef std::vector<T> C; const T t[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; C c(std::begin(t), std::end(t)); c.reserve(2*c.size()); assert(is_contiguous_container_asan_correct(c)); assert(!__sanitizer_verify_contiguous_container ( c.data(), c.data() + 1, c.data() + c.capacity())); T foo = c[c.size()]; // should trigger ASAN assert(false); // if we got here, ASAN didn't trigger } }