diff options
author | 2023-05-16 10:32:54 +0000 | |
---|---|---|
committer | 2023-05-22 10:36:39 +0000 | |
commit | 78f3c72e8948087352788997a70854dee613352c (patch) | |
tree | 306db3c15bc4b7af149bcf3e07be533e50679b88 /tools/jvmti-agents/dump-jvmti-state/dump-jvmti.cc | |
parent | dc771261232c2ff702373f396a5a7fe586e2f0a6 (diff) |
Use C++17's [[maybe_unused]] attribute in ART
Bug: 169680875
Test: mmm art
Change-Id: Ic0cc320891c42b07a2b5520a584d2b62052e7235
Diffstat (limited to 'tools/jvmti-agents/dump-jvmti-state/dump-jvmti.cc')
-rw-r--r-- | tools/jvmti-agents/dump-jvmti-state/dump-jvmti.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/jvmti-agents/dump-jvmti-state/dump-jvmti.cc b/tools/jvmti-agents/dump-jvmti-state/dump-jvmti.cc index 71a0115999..afa8d611aa 100644 --- a/tools/jvmti-agents/dump-jvmti-state/dump-jvmti.cc +++ b/tools/jvmti-agents/dump-jvmti-state/dump-jvmti.cc @@ -88,7 +88,9 @@ static void CbDataDump(jvmtiEnv* jvmti) { } // namespace -static jint AgentStart(JavaVM* vm, char* options ATTRIBUTE_UNUSED, void* reserved ATTRIBUTE_UNUSED) { +static jint AgentStart(JavaVM* vm, + [[maybe_unused]] char* options, + [[maybe_unused]] void* reserved) { jvmtiEnv* jvmti = nullptr; if (SetupJvmtiEnv(vm, &jvmti) != JNI_OK) { LOG(ERROR) << "Could not get JVMTI env or ArtTiEnv!"; |