[PATCH] D109217: [NOT FOR COMMIT] [llvm-dwarfdump] Fix unsigned overflow when calculating stats

[Orlando Cazalet-Hyams via Phabricator via llvm-commits]

Orlando added inline comments.


================
Comment at: llvm/tools/llvm-dwarfdump/Statistics.cpp:380-381
     GlobalStats.ScopeBytesCovered += ScopeBytesCovered;
+    assert(GlobalStats.ScopeBytesCovered <= UINT64_MAX &&
+           "ScopeBytesCovered - overflow");
     GlobalStats.ScopeBytes += BytesInScope;
----------------
I think this assert should come before the assignment and be something like this to catch a value that would "overflow" by wrapping:
`assert(GlobalStats.ScopeBytesCovered + ScopeBytesCovered >= GlobalStats.ScopeBytesCovered &&  "ScopeBytesCovered - overflow");`
Otherwise I don't think this assertion will ever catch anything, since all uint64_t values are <= UINT64_MAX.



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D109217/new/

https://reviews.llvm.org/D109217