Home
last modified time | relevance | path

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

/art/tools/veridex/
Dflow_analysis.cc241 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
247 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
254 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
261 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
382 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
401 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
437 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
473 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
485 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
500 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()