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