| 1 | //===-- tsan_stack_test.cpp -----------------------------------------------===// |
| 2 | // |
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This file is a part of ThreadSanitizer (TSan), a race detector. |
| 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | #include "tsan_sync.h" |
| 13 | #include "tsan_rtl.h" |
| 14 | #include "gtest/gtest.h" |
| 15 | #include <string.h> |
| 16 | |
| 17 | namespace __tsan { |
| 18 | |
| 19 | template <typename StackTraceTy> |
| 20 | static void TestStackTrace(StackTraceTy *trace) { |
| 21 | ThreadState thr(kMainTid); |
| 22 | |
| 23 | ObtainCurrentStack(&thr, 0, trace); |
| 24 | EXPECT_EQ(0U, trace->size); |
| 25 | |
| 26 | ObtainCurrentStack(&thr, 42, trace); |
| 27 | EXPECT_EQ(1U, trace->size); |
| 28 | EXPECT_EQ(42U, trace->trace[0]); |
| 29 | |
| 30 | *thr.shadow_stack_pos++ = 100; |
| 31 | *thr.shadow_stack_pos++ = 101; |
| 32 | ObtainCurrentStack(&thr, 0, trace); |
| 33 | EXPECT_EQ(2U, trace->size); |
| 34 | EXPECT_EQ(100U, trace->trace[0]); |
| 35 | EXPECT_EQ(101U, trace->trace[1]); |
| 36 | |
| 37 | ObtainCurrentStack(&thr, 42, trace); |
| 38 | EXPECT_EQ(3U, trace->size); |
| 39 | EXPECT_EQ(100U, trace->trace[0]); |
| 40 | EXPECT_EQ(101U, trace->trace[1]); |
| 41 | EXPECT_EQ(42U, trace->trace[2]); |
| 42 | } |
| 43 | |
| 44 | template<typename StackTraceTy> |
| 45 | static void TestTrim(StackTraceTy *trace) { |
| 46 | ThreadState thr(kMainTid); |
| 47 | |
| 48 | for (uptr i = 0; i < 2 * kStackTraceMax; ++i) |
| 49 | *thr.shadow_stack_pos++ = 100 + i; |
| 50 | |
| 51 | ObtainCurrentStack(&thr, 0, trace); |
| 52 | EXPECT_EQ(kStackTraceMax, trace->size); |
| 53 | for (uptr i = 0; i < kStackTraceMax; i++) { |
| 54 | EXPECT_EQ(100 + kStackTraceMax + i, trace->trace[i]); |
| 55 | } |
| 56 | |
| 57 | ObtainCurrentStack(&thr, 42, trace); |
| 58 | EXPECT_EQ(kStackTraceMax, trace->size); |
| 59 | for (uptr i = 0; i < kStackTraceMax - 1; i++) { |
| 60 | EXPECT_EQ(101 + kStackTraceMax + i, trace->trace[i]); |
| 61 | } |
| 62 | EXPECT_EQ(42U, trace->trace[kStackTraceMax - 1]); |
| 63 | } |
| 64 | |
| 65 | TEST(StackTrace, BasicVarSize) { |
| 66 | VarSizeStackTrace trace; |
| 67 | TestStackTrace(&trace); |
| 68 | } |
| 69 | |
| 70 | TEST(StackTrace, BasicBuffered) { |
| 71 | BufferedStackTrace trace; |
| 72 | TestStackTrace(&trace); |
| 73 | } |
| 74 | |
| 75 | TEST(StackTrace, TrimVarSize) { |
| 76 | VarSizeStackTrace trace; |
| 77 | TestTrim(&trace); |
| 78 | } |
| 79 | |
| 80 | TEST(StackTrace, TrimBuffered) { |
| 81 | BufferedStackTrace trace; |
| 82 | TestTrim(&trace); |
| 83 | } |
| 84 | |
| 85 | } // namespace __tsan |
| 86 | |