Hi Ben! I think we should improve it in a different way. I think we should either replace "runtime-error" with "undefined-behavior", or be even more specific and print the exact UB kind in bold red letters here ("integer overflow", "misaligned address" etc). Richard, WDYT? http://reviews.llvm.org/D5629