Lines Matching refs:max_align
119 Some(max_align) => max_align,
132 Some(max_align) => max_align,
139 Some(max_align) => max_align,
346 let max_align = match repr_packed { in extend() localVariable
347 Some(max_align) => max_align, in extend()
351 const_assert!(max_align.get().is_power_of_two()); in extend()
373 let field_align = min(field.align, max_align); in extend()
1138 let max_align = pack.unwrap_or(DstLayout::CURRENT_MAX_ALIGN); in test_dst_layout_extend_sized_with_sized() localVariable
1139 let align = $n.min(max_align.get()); in test_dst_layout_extend_sized_with_sized()
1209 let max_align = pack.unwrap_or(DstLayout::CURRENT_MAX_ALIGN).get(); in test_dst_layout_extend_sized_with_dst() localVariable
1211 let align = align.get().min(max_align); in test_dst_layout_extend_sized_with_dst()
2059 if let Some(max_align) = packed { in prove_dst_layout_extend()
2060 kani::assume(max_align.is_power_of_two()); in prove_dst_layout_extend()
2061 kani::assume(base.align <= max_align); in prove_dst_layout_extend()
2182 if let Some(max_align) = packed { in prove_dst_layout_extend_dst_panics()
2183 kani::assume(max_align.is_power_of_two()); in prove_dst_layout_extend_dst_panics()
2184 kani::assume(base.align <= max_align); in prove_dst_layout_extend_dst_panics()