runtime/verify_object-inl.h

   1 /*
   2  * Copyright (C) 2014 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 #ifndef ART_RUNTIME_VERIFY_OBJECT_INL_H_
  18 #define ART_RUNTIME_VERIFY_OBJECT_INL_H_
  19
  20 #include "verify_object.h"
  21
  22 #include "gc/heap.h"
  23 #include "mirror/object-inl.h"
  24
  25 namespace art {
  26
  27 inline void VerifyObject(mirror::Object* obj) {
  28   if (kVerifyObjectSupport > kVerifyObjectModeDisabled && obj != nullptr) {
  29     if (kVerifyObjectSupport > kVerifyObjectModeFast) {
  30       // Slow object verification, try the heap right away.
  31       Runtime::Current()->GetHeap()->VerifyObjectBody(obj);
  32     } else {
  33       // Fast object verification, only call the heap if our quick sanity tests fail. The heap will
  34       // print the diagnostic message.
  35       bool failed = !IsAligned<kObjectAlignment>(obj);
  36       if (!failed) {
  37         mirror::Class* c = obj->GetClass<kVerifyNone>();
  38         failed = failed || !IsAligned<kObjectAlignment>(c);
  39         failed = failed || !VerifyClassClass(c);
  40       }
  41       if (UNLIKELY(failed)) {
  42         Runtime::Current()->GetHeap()->VerifyObjectBody(obj);
  43       }
  44     }
  45   }
  46 }
  47
  48 inline bool VerifyClassClass(mirror::Class* c) {
  49   if (UNLIKELY(c == nullptr)) {
  50     return false;
  51   }
  52   // Note: We pass in flags to ensure that the accessors don't call VerifyObject.
  53   mirror::Class* c_c = c->GetClass<kVerifyNone>();
  54   return c_c != nullptr && c_c == c_c->GetClass<kVerifyNone>();
  55 }
  56
  57 }  // namespace art
  58
  59 #endif  // ART_RUNTIME_VERIFY_OBJECT_INL_H_