Home
last modified time | relevance | path

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

/aosp12/art/tools/veridex/
H A 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()
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()
564 UpdateRegister(instruction.VRegA(), VeriClass::integer_); in ProcessDexInstruction()
[all …]
H A Dveridex.h79 static VeriClass* integer_; variable
H A Dveridex.cc48 VeriClass* VeriClass::integer_ = &i_; member in art::VeriClass
187 type_map["I"] = VeriClass::integer_; in Run()