Searched refs:DerefRK (Results 1 – 1 of 1) sorted by relevance
164 RetainedKnowledge DerefRK; in isDereferenceableAndAlignedPointer() local173 DerefRK = std::max(DerefRK, RK); in isDereferenceableAndAlignedPointer()174 if (AlignRK && DerefRK && AlignRK.ArgValue >= Alignment.value() && in isDereferenceableAndAlignedPointer()175 DerefRK.ArgValue >= Size.getZExtValue()) in isDereferenceableAndAlignedPointer()