Searched refs:DerefRK (Results 1 – 1 of 1) sorted by relevance
49 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointerViaAssumption() local59 DerefRK = std::max(DerefRK, RK); in isDereferenceableAndAlignedPointerViaAssumption()61 if (IsAligned && DerefRK && CheckSize(DerefRK)) in isDereferenceableAndAlignedPointerViaAssumption()