ruiu added a comment. If you can detect an underflow (or actually an overflow towards negative infinity), how hard is it to report it as an error, instead of not emitting a header without any message? https://reviews.llvm.org/D43799