Improve feedback in case of UndefinedBehaviorError.
Merge pull request #1199 from sjrd/improve-undef-behavior-feedback

Improve feedback in case of UndefinedBehaviorError.