Searched refs:AlignRK (Results 1 – 1 of 1) sorted by relevance
48 RetainedKnowledge AlignRK; in isDereferenceableAndAlignedPointerViaAssumption() local57 AlignRK = std::max(AlignRK, RK); in isDereferenceableAndAlignedPointerViaAssumption()60 IsAligned |= AlignRK && AlignRK.ArgValue >= Alignment.value(); in isDereferenceableAndAlignedPointerViaAssumption()