uptr beg = d & ~3UL; uptr end = (d + size) & ~3UL; So end is always >= beg unless overflowed. But overflow should be checked in a different way.
Details
Details
- Reviewers
eugenis
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Differential D94570
[MSan] Remove an imposible condition check from CopyOrigin stephan.yichao.zhao on Jan 12 2021, 5:35 PM. Authored by
Details
uptr beg = d & ~3UL; uptr end = (d + size) & ~3UL; So end is always >= beg unless overflowed. But overflow should be checked in a different way.
Diff Detail
|