Fix static analyzer regression when emitting undefined value warnings

with binary operators.  The result of a binary operator may be
undefined even if its operands are well-defined.

llvm-svn: 81874