I'm fine changing `"runtime error"` to `"undefined behavior"`. As to listing the kind of undefined behavior, how about following Clang's diagnostic format and adding a `[-fsanitize=<kind of UB>]` suffix? http://reviews.llvm.org/D5629