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