Home
last modified time | relevance | path

Searched refs:integer_ (Results 1 – 3 of 3) sorted by relevance

/art/tools/veridex/
Dflow_analysis.cc264 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()
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()
[all …]
Dveridex.h79 static VeriClass* integer_; variable
Dveridex.cc48 VeriClass* VeriClass::integer_ = &i_; member in art::VeriClass
187 type_map["I"] = VeriClass::integer_; in Run()