blob: 8928805e54295339ef81075c4a9de9688883f03f [file] [log] [blame]
Peter Collingbourne6f1fd682020-01-29 16:27:31 -08001/*
2 * Copyright (C) 2020 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include <gtest/gtest.h>
18
Peter Collingbournec8cef932020-02-14 19:19:32 -080019#include <android-base/macros.h>
Peter Collingbourne6f1fd682020-01-29 16:27:31 -080020#include <bionic/mte.h>
21
22__attribute__((no_sanitize("hwaddress")))
23static void test_tag_mismatch() {
Peter Collingbourne6f1fd682020-01-29 16:27:31 -080024 std::unique_ptr<int[]> p = std::make_unique<int[]>(4);
25 p[0] = 1;
Peter Collingbournec8cef932020-02-14 19:19:32 -080026 int* mistagged_p ATTRIBUTE_UNUSED =
27 reinterpret_cast<int*>(reinterpret_cast<uintptr_t>(p.get()) + (1ULL << 56));
28 {
29 ScopedDisableMTE x;
30 { ScopedDisableMTE y; }
31#if defined(__aarch64__)
32 volatile int load ATTRIBUTE_UNUSED = *mistagged_p;
33#endif
34 }
35#if defined(__aarch64__)
36 if (mte_supported()) {
37 EXPECT_DEATH(
38 {
39 volatile int load ATTRIBUTE_UNUSED = *mistagged_p;
40 },
41 "");
42 }
Peter Collingbourne6f1fd682020-01-29 16:27:31 -080043#endif
44}
45
46TEST(mte_test, ScopedDisableMTE) {
47 test_tag_mismatch();
48}