Home
last modified time | relevance | path

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

/art/tools/veridex/
Dflow_analysis.cc233 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
239 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
246 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
253 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
374 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
393 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
429 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
465 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
477 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
492 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
[all …]
Dveridex.h77 static VeriClass* integer_; variable
Dveridex.cc47 VeriClass* VeriClass::integer_ = &i_; member in art::VeriClass
172 type_map["I"] = VeriClass::integer_; in Run()