diff options
| author | Aart Bik <ajcbik@google.com> | 2021-02-11 12:11:34 -0800 |
|---|---|---|
| committer | Aart Bik <ajcbik@google.com> | 2021-02-11 18:20:40 -0800 |
| commit | 5f022ad6ed8dc23094bb50f83608d5c786a821a9 (patch) | |
| tree | dd0c2296075ab6a8809716e783c84ed5fe000969 /llvm/lib/DebugInfo/Symbolize/SymbolizableObjectFile.cpp | |
| parent | 8ef4b961a3af6e6839b487ba3962ddad133629fc (diff) | |
| download | llvm-5f022ad6ed8dc23094bb50f83608d5c786a821a9.zip llvm-5f022ad6ed8dc23094bb50f83608d5c786a821a9.tar.gz llvm-5f022ad6ed8dc23094bb50f83608d5c786a821a9.tar.bz2 | |
[mlir] detect integer overflow in debug mode
Rationale:
This computation failed ASAN for the following input
(integer overflow during 4032000000000000000 * 100):
tensor<100x200x300x400x500x600x700x800xf32>
This change adds a simple overflow detection during
debug mode (which we run more regularly than ASAN).
Arguably this is an unrealistic tensor input, but
in the context of sparse tensors, we may start to
see cases like this.
Bug:
https://bugs.llvm.org/show_bug.cgi?id=49136
Reviewed By: mehdi_amini
Differential Revision: https://reviews.llvm.org/D96530
Diffstat (limited to 'llvm/lib/DebugInfo/Symbolize/SymbolizableObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions