Bug Summary

File:jdk/test/hotspot/gtest/metaspace/test_allocationGuard.cpp
Warning:line 58, column 15
Value stored to 'p2' during its initialization is never read

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name test_allocationGuard.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -mthread-model posix -fno-delete-null-pointer-checks -mframe-pointer=all -relaxed-aliasing -fmath-errno -fno-rounding-math -masm-verbose -mconstructor-aliases -munwind-tables -target-cpu x86-64 -dwarf-column-info -fno-split-dwarf-inlining -debugger-tuning=gdb -resource-dir /usr/lib/llvm-10/lib/clang/10.0.0 -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/libjvm/gtest/objs/precompiled -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -D __STDC_CONSTANT_MACROS -D _GNU_SOURCE -D _REENTRANT -D LIBC=gnu -D LINUX -D VM_LITTLE_ENDIAN -D _LP64=1 -D ASSERT -D CHECK_UNHANDLED_OOPS -D TARGET_ARCH_x86 -D INCLUDE_SUFFIX_OS=_linux -D INCLUDE_SUFFIX_CPU=_x86 -D INCLUDE_SUFFIX_COMPILER=_gcc -D TARGET_COMPILER_gcc -D AMD64 -D HOTSPOT_LIB_ARCH="amd64" -D COMPILER1 -D COMPILER2 -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/gensrc/adfiles -I /home/daniel/Projects/java/jdk/src/hotspot/share -I /home/daniel/Projects/java/jdk/src/hotspot/os/linux -I /home/daniel/Projects/java/jdk/src/hotspot/os/posix -I /home/daniel/Projects/java/jdk/src/hotspot/cpu/x86 -I /home/daniel/Projects/java/jdk/src/hotspot/os_cpu/linux_x86 -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/hotspot/variant-server/gensrc -I /home/daniel/Projects/java/jdk/src/hotspot/share/precompiled -I /home/daniel/Projects/java/jdk/src/hotspot/share/include -I /home/daniel/Projects/java/jdk/src/hotspot/os/posix/include -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/support/modules_include/java.base -I /home/daniel/Projects/java/jdk/build/linux-x86_64-server-fastdebug/support/modules_include/java.base/linux -I /home/daniel/Projects/java/jdk/src/java.base/share/native/libjimage -I /home/daniel/Projects/java/googletest/googletest/include -I /home/daniel/Projects/java/googletest/googlemock/include -I /home/daniel/Projects/java/jdk/test/hotspot/gtest -I /home/daniel/Projects/java/jdk/test/hotspot/gtest -D _FORTIFY_SOURCE=2 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/x86_64-linux-gnu/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/x86_64-linux-gnu/c++/7.5.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../include/c++/7.5.0/backward -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-10/lib/clang/10.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -Wno-format-zero-length -Wno-unused-parameter -Wno-unused -Wno-parentheses -Wno-comment -Wno-unknown-pragmas -Wno-address -Wno-delete-non-virtual-dtor -Wno-char-subscripts -Wno-array-bounds -Wno-int-in-bool-context -Wno-ignored-qualifiers -Wno-missing-field-initializers -Wno-implicit-fallthrough -Wno-empty-body -Wno-strict-overflow -Wno-sequence-point -Wno-maybe-uninitialized -Wno-misleading-indentation -Wno-cast-function-type -Wno-shift-negative-value -Wno-undef -Wno-stringop-overflow -std=c++14 -fdeprecated-macro -fdebug-compilation-dir /home/daniel/Projects/java/jdk/make/hotspot -ferror-limit 19 -fmessage-length 0 -fvisibility hidden -stack-protector 1 -fno-rtti -fgnuc-version=4.2.1 -fobjc-runtime=gcc -fdiagnostics-show-option -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -o /home/daniel/Projects/java/scan/2021-12-21-193737-8510-1 -x c++ /home/daniel/Projects/java/jdk/test/hotspot/gtest/metaspace/test_allocationGuard.cpp
1/*
2 * Copyright (c) 2020, Oracle and/or its affiliates. All rights reserved.
3 * Copyright (c) 2020 SAP SE. All rights reserved.
4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5 *
6 * This code is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License version 2 only, as
8 * published by the Free Software Foundation.
9 *
10 * This code is distributed in the hope that it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 * version 2 for more details (a copy is included in the LICENSE file that
14 * accompanied this code).
15 *
16 * You should have received a copy of the GNU General Public License version
17 * 2 along with this work; if not, write to the Free Software Foundation,
18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
19 *
20 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
21 * or visit www.oracle.com if you need additional information or have any
22 * questions.
23 *
24 */
25
26#include "precompiled.hpp"
27#include "memory/metaspace/metaspaceArena.hpp"
28#include "memory/metaspace/metaspaceSettings.hpp"
29#include "memory/metaspace/testHelpers.hpp"
30#include "utilities/debug.hpp"
31#include "utilities/ostream.hpp"
32
33//#define LOG_PLEASE
34#include "metaspaceGtestCommon.hpp"
35#include "metaspaceGtestContexts.hpp"
36
37#ifdef ASSERT1
38
39using metaspace::MetaspaceArena;
40using metaspace::MetaspaceTestArena;
41using metaspace::Settings;
42
43// Test that overwriting memory triggers an assert if allocation guards are enabled.
44// Note: We use TEST_VM_ASSERT_MSG. However, an assert is only triggered if allocation
45// guards are enabled; if guards are disabled for the gtests, this test would fail.
46// So for that case, we trigger a fake assert.
47TEST_VM_ASSERT_MSG(metaspace, test_overwriter, ".*Metaspace corruption.*")static void test_metaspace_test_overwriter_(); static void child_metaspace_test_overwriter_
() { ::testing::FLAGS_gtest_throw_on_failure = true; test_metaspace_test_overwriter_
(); exit(0); } class metaspace_test_overwriter_vm_assert_Test
: public ::testing::Test { public: metaspace_test_overwriter_vm_assert_Test
() {} private: virtual void TestBody(); static ::testing::TestInfo
* const test_info_ __attribute__ ((unused)); metaspace_test_overwriter_vm_assert_Test
(metaspace_test_overwriter_vm_assert_Test const &) = delete
; void operator=(metaspace_test_overwriter_vm_assert_Test const
&) = delete;};::testing::TestInfo* const metaspace_test_overwriter_vm_assert_Test
::test_info_ = ::testing::internal::MakeAndRegisterTestInfo(
"metaspace", "test_overwriter_vm_assert", __null, __null, ::
testing::internal::CodeLocation("/home/daniel/Projects/java/jdk/test/hotspot/gtest/metaspace/test_allocationGuard.cpp"
, 47), (::testing::internal::GetTestTypeId()), ::testing::Test
::SetUpTestCase, ::testing::Test::TearDownTestCase, new ::testing
::internal::TestFactoryImpl< metaspace_test_overwriter_vm_assert_Test
>);void metaspace_test_overwriter_vm_assert_Test::TestBody
() { switch (0) case 0: default: if (::testing::internal::AlwaysTrue
()) { const ::testing::internal::RE& gtest_regex = ("assert failed: "
".*Metaspace corruption.*"); ::testing::internal::DeathTest*
gtest_dt; if (!::testing::internal::DeathTest::Create("child_metaspace_test_overwriter_()"
, &gtest_regex, "/home/daniel/Projects/java/jdk/test/hotspot/gtest/metaspace/test_allocationGuard.cpp"
, 47, &gtest_dt)) { goto gtest_label_47; } if (gtest_dt !=
__null) { ::testing::internal::scoped_ptr< ::testing::internal
::DeathTest> gtest_dt_ptr(gtest_dt); switch (gtest_dt->
AssumeRole()) { case ::testing::internal::DeathTest::OVERSEE_TEST
: if (!gtest_dt->Passed(::testing::ExitedWithCode(1)(gtest_dt
->Wait()))) { goto gtest_label_47; } break; case ::testing
::internal::DeathTest::EXECUTE_TEST: { ::testing::internal::DeathTest
::ReturnSentinel gtest_sentinel(gtest_dt); if (::testing::internal
::AlwaysTrue()) { child_metaspace_test_overwriter_(); }; gtest_dt
->Abort(::testing::internal::DeathTest::TEST_DID_NOT_DIE);
break; } default: break; } } } else gtest_label_47: return ::
testing::internal::AssertHelper(::testing::TestPartResult::kFatalFailure
, "/home/daniel/Projects/java/jdk/test/hotspot/gtest/metaspace/test_allocationGuard.cpp"
, 47, ::testing::internal::DeathTest::LastMessage()) = ::testing
::Message(); } void test_metaspace_test_overwriter_()
{
48
49 if (Settings::use_allocation_guard()) {
50 MetaspaceGtestContext context;
51 MetaspaceTestArena* arena = context.create_arena(Metaspace::StandardMetaspaceType);
52 // We allocate two blocks. We then write over the end of the first block, which
53 // should corrupt the fence between the two blocks.
54 // Note: there is of course no guarantee that blocks allocated sequentially are neighbors;
55 // but in this case (clean standard-sized test arena and very small allocations) it can
56 // be safely assumed).
57 MetaWord* p1 = arena->allocate(8);
58 MetaWord* p2 = arena->allocate(2);
Value stored to 'p2' during its initialization is never read
59 p1[8] = (MetaWord)0x9345; // Overwriter
60 // Now we delete the arena (as happens during class unloading); this will check all
61 // block canaries and should trigger an assert (see MetaspaceArena::verify_allocation_guards()).
62 delete arena;
63 } else {
64 assert(false, "Metaspace corruption - please ignore this, fake message to satisfy tests")do { if (!(false)) { (*g_assert_poison) = 'X';; report_vm_error
("/home/daniel/Projects/java/jdk/test/hotspot/gtest/metaspace/test_allocationGuard.cpp"
, 64, "assert(" "false" ") failed", "Metaspace corruption - please ignore this, fake message to satisfy tests"
); ::breakpoint(); } } while (0)
;
65 }
66
67}
68
69#endif // ASSERT