Update llvm/lib/Object/MachOObjectFile.cpp

Make sure sections are ordered when the cross the UINT32_MAX barrier

Co-authored-by: Peter Rong <[email protected]>

Author: clayborg

llvm/lib/Object/MachOObjectFile.cpp

@@ -1996,14 +1996,19 @@ MachOObjectFile::getSectionContents(DataRefImpl Sec) const {
     // 4GB. MachO::section_64 objects only have 32 bit file offsets to the
     // section contents and can overflow in dSYM files. We can track this and
     // adjust the section offset to be 64 bit safe.
+    // Assumes the sections are ordered.
+    uint64_t PrevTrueOffset = 0;
     uint64_t SectOffsetAdjust = 0;
     for (uint32_t SectIdx=0; SectIdx<Sec.d.a; ++SectIdx) {
       MachO::section_64 CurrSect =
           getStruct<MachO::section_64>(*this, Sections[SectIdx]);
+       uint64_t CurrTrueOffset = (uint64_t) CurrSect.offset | SectOffsetAdjust;
+      assert(SectOffsetAdjust == 0 || (PrevTrueOffset <= CurrTrueOffset) && "Overflowing sections must be ordered for adjustment")
       const uint64_t EndSectFileOffset =
           (uint64_t)CurrSect.offset + CurrSect.size;
       if (EndSectFileOffset >= UINT32_MAX)
         SectOffsetAdjust += EndSectFileOffset & 0xFFFFFFFF00000000ull;
+      PrevTrueOffset = CurrTrueOffset;
     }
     Offset += SectOffsetAdjust;
   } else {