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