116                                       VeriClass* cls,  in UpdateRegister()
132 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) {  in UpdateRegister()
139 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) {  in UpdateRegister()
154   VeriClass* cls = resolver_->GetVeriClass(proto_id.return_type_idx_);  in GetReturnType()
161   VeriClass* cls = resolver_->GetVeriClass(field_id.type_idx_);  in GetFieldType()
264       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
270       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
277       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
284       UpdateRegister(register_index, value, VeriClass::integer_);  in ProcessDexInstruction()
293       UpdateRegister(register_index, VeriClass::long_);  in ProcessDexInstruction()
320                      VeriClass::class_,  in ProcessDexInstruction()
327                      VeriClass::string_,  in ProcessDexInstruction()
335                      VeriClass::string_,  in ProcessDexInstruction()
405       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
424       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
460       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
496       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
508       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
523       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
528       VeriClass* cls = resolver_->GetVeriClass(dex::TypeIndex(instruction.VRegB_21c()));  in ProcessDexInstruction()
535       VeriClass* cls = resolver_->GetVeriClass(type_index);  in ProcessDexInstruction()
542       VeriClass* cls = resolver_->GetVeriClass(type_index);  in ProcessDexInstruction()
550       VeriClass* cls = resolver_->GetVeriClass(type_index);  in ProcessDexInstruction()
564       UpdateRegister(instruction.VRegA(), VeriClass::integer_);  in ProcessDexInstruction()
602       if (VeriClass::sdkInt_ != nullptr && resolver_->GetField(field_index) == VeriClass::sdkInt_) {  in ProcessDexInstruction()
603         UpdateRegister(dest_reg, gTargetSdkVersion, VeriClass::integer_);  in ProcessDexInstruction()
630     ARRAY_XX(, VeriClass::integer_);  in ProcessDexInstruction()
631     ARRAY_XX(_WIDE, VeriClass::long_);  in ProcessDexInstruction()
632     ARRAY_XX(_BOOLEAN, VeriClass::boolean_);  in ProcessDexInstruction()
633     ARRAY_XX(_BYTE, VeriClass::byte_);  in ProcessDexInstruction()
634     ARRAY_XX(_CHAR, VeriClass::char_);  in ProcessDexInstruction()
635     ARRAY_XX(_SHORT, VeriClass::short_);  in ProcessDexInstruction()
639       UpdateRegister(instruction.VRegA_23x(), VeriClass::object_);  in ProcessDexInstruction()
648       UpdateRegister(instruction.VRegA_12x(), VeriClass::integer_);  in ProcessDexInstruction()
653       UpdateRegister(instruction.VRegA_11x(), VeriClass::throwable_);  in ProcessDexInstruction()
663       UpdateRegister(destination, VeriClass::boolean_);  in ProcessDexInstruction()
718   if (method == VeriClass::forName_) {  in AnalyzeInvoke()
722         value.GetSource(), value.GetDexFileReference(), VeriClass::class_);  in AnalyzeInvoke()
737   } else if (method == VeriClass::getClass_) {  in AnalyzeInvoke()
740     const VeriClass* cls = obj.GetType();  in AnalyzeInvoke()
746           VeriClass::class_);  in AnalyzeInvoke()
749           obj.GetSource(), obj.GetDexFileReference(), VeriClass::class_);  in AnalyzeInvoke()
751   } else if (method == VeriClass::loadClass_) {  in AnalyzeInvoke()
755         value.GetSource(), value.GetDexFileReference(), VeriClass::class_);  in AnalyzeInvoke()