Add an assertion

rui314 · Feb 5, 2022 · f72999a · f72999a
1 parent b02c8cb
commit f72999a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/elf/passes.cc b/elf/passes.cc
@@ -938,10 +938,12 @@ i64 get_section_rank(Context<E> &ctx, Chunk<E> *chunk) {
 }
 
 // Returns the smallest number n such that
-// n >= val and n % align == skew % align.
+// val <= n and n % align == skew % align.
 inline u64 align_with_skew(u64 val, u64 align, u64 skew) {
   skew = skew % align;
-  return align_to(val + align - skew, align) - align + skew;
+  u64 n = align_to(val + align - skew, align) - align + skew;
+  assert(val <= n && n < val + align && n % align == skew % align);
+  return n;
 }
 
 template <typename E>