Bug Summary

File:jdk/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp
Warning:line 69, column 21
Value stored to 'heap' 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 shenandoahGC.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/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/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 -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 -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/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp
1/*
2 * Copyright (c) 2021, Red Hat, Inc. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25#include "precompiled.hpp"
26
27#include "compiler/oopMap.hpp"
28#include "gc/shared/workerThread.hpp"
29#include "gc/shenandoah/shenandoahClosures.inline.hpp"
30#include "gc/shenandoah/shenandoahGC.hpp"
31#include "gc/shenandoah/shenandoahHeap.hpp"
32#include "gc/shenandoah/shenandoahPhaseTimings.hpp"
33#include "gc/shenandoah/shenandoahRootProcessor.inline.hpp"
34#include "gc/shenandoah/shenandoahUtils.hpp"
35
36const char* ShenandoahGC::degen_point_to_string(ShenandoahDegenPoint point) {
37 switch(point) {
38 case _degenerated_unset:
39 return "<UNSET>";
40 case _degenerated_outside_cycle:
41 return "Outside of Cycle";
42 case _degenerated_mark:
43 return "Mark";
44 case _degenerated_evac:
45 return "Evacuation";
46 case _degenerated_updaterefs:
47 return "Update References";
48 default:
49 ShouldNotReachHere()do { (*g_assert_poison) = 'X';; report_should_not_reach_here(
"/home/daniel/Projects/java/jdk/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp"
, 49); ::breakpoint(); } while (0)
;
50 return "ERROR";
51 }
52}
53
54class ShenandoahUpdateRootsTask : public WorkerTask {
55private:
56 ShenandoahRootUpdater* _root_updater;
57 bool _check_alive;
58public:
59 ShenandoahUpdateRootsTask(ShenandoahRootUpdater* root_updater, bool check_alive) :
60 WorkerTask("Shenandoah Update Roots"),
61 _root_updater(root_updater),
62 _check_alive(check_alive){
63 }
64
65 void work(uint worker_id) {
66 assert(ShenandoahSafepoint::is_at_shenandoah_safepoint(), "Must be at a safepoint")do { if (!(ShenandoahSafepoint::is_at_shenandoah_safepoint())
) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp"
, 66, "assert(" "ShenandoahSafepoint::is_at_shenandoah_safepoint()"
") failed", "Must be at a safepoint"); ::breakpoint(); } } while
(0)
;
67 ShenandoahParallelWorkerSession worker_session(worker_id);
68
69 ShenandoahHeap* heap = ShenandoahHeap::heap();
Value stored to 'heap' during its initialization is never read
70 ShenandoahUpdateRefsClosure cl;
71 if (_check_alive) {
72 ShenandoahForwardedIsAliveClosure is_alive;
73 _root_updater->roots_do<ShenandoahForwardedIsAliveClosure, ShenandoahUpdateRefsClosure>(worker_id, &is_alive, &cl);
74 } else {
75 AlwaysTrueClosure always_true;;
76 _root_updater->roots_do<AlwaysTrueClosure, ShenandoahUpdateRefsClosure>(worker_id, &always_true, &cl);
77 }
78 }
79};
80
81void ShenandoahGC::update_roots(bool full_gc) {
82 assert(ShenandoahSafepoint::is_at_shenandoah_safepoint(), "Must be at a safepoint")do { if (!(ShenandoahSafepoint::is_at_shenandoah_safepoint())
) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp"
, 82, "assert(" "ShenandoahSafepoint::is_at_shenandoah_safepoint()"
") failed", "Must be at a safepoint"); ::breakpoint(); } } while
(0)
;
83 assert(ShenandoahHeap::heap()->is_full_gc_in_progress() ||do { if (!(ShenandoahHeap::heap()->is_full_gc_in_progress(
) || ShenandoahHeap::heap()->is_degenerated_gc_in_progress
())) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp"
, 85, "assert(" "ShenandoahHeap::heap()->is_full_gc_in_progress() || ShenandoahHeap::heap()->is_degenerated_gc_in_progress()"
") failed", "Only for degenerated GC and full GC"); ::breakpoint
(); } } while (0)
84 ShenandoahHeap::heap()->is_degenerated_gc_in_progress(),do { if (!(ShenandoahHeap::heap()->is_full_gc_in_progress(
) || ShenandoahHeap::heap()->is_degenerated_gc_in_progress
())) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp"
, 85, "assert(" "ShenandoahHeap::heap()->is_full_gc_in_progress() || ShenandoahHeap::heap()->is_degenerated_gc_in_progress()"
") failed", "Only for degenerated GC and full GC"); ::breakpoint
(); } } while (0)
85 "Only for degenerated GC and full GC")do { if (!(ShenandoahHeap::heap()->is_full_gc_in_progress(
) || ShenandoahHeap::heap()->is_degenerated_gc_in_progress
())) { (*g_assert_poison) = 'X';; report_vm_error("/home/daniel/Projects/java/jdk/src/hotspot/share/gc/shenandoah/shenandoahGC.cpp"
, 85, "assert(" "ShenandoahHeap::heap()->is_full_gc_in_progress() || ShenandoahHeap::heap()->is_degenerated_gc_in_progress()"
") failed", "Only for degenerated GC and full GC"); ::breakpoint
(); } } while (0)
;
86
87 bool check_alive = !full_gc;
88 ShenandoahPhaseTimings::Phase p = full_gc ?
89 ShenandoahPhaseTimings::full_gc_update_roots :
90 ShenandoahPhaseTimings::degen_gc_update_roots;
91
92 ShenandoahGCPhase phase(p);
93#if COMPILER2_OR_JVMCI1
94 DerivedPointerTable::clear();
95#endif
96
97 ShenandoahHeap* const heap = ShenandoahHeap::heap();
98 WorkerThreads* workers = heap->workers();
99 uint nworkers = workers->active_workers();
100
101 ShenandoahRootUpdater root_updater(nworkers, p);
102 ShenandoahUpdateRootsTask update_roots(&root_updater, check_alive);
103 workers->run_task(&update_roots);
104
105#if COMPILER2_OR_JVMCI1
106 DerivedPointerTable::update_pointers();
107#endif
108}