Lines Matching full:verifier
759 // dex registers given. If the instruction was seen as dead by the verifier,
768 // Longs and doubles should be in pairs, that is, sequential registers. The verifier should
769 // reject any class where this is violated. However, the verifier only does these checks
1215 // Verifier guarantees that the payload for PackedSwitch contains:
1240 // Verifier guarantees that the payload for SparseSwitch contains:
2067 // Only dead code can lead to this situation, where the verifier
