[analyzer] Fix a bad bug in reversePropagateInterstingSymbols() where only one subexpression of BinaryOperator would be explored.
Remove dead assignment dominated by a call to llvm_unreachable().
[-Wunreachable-code] Tweak isTrivialDoWhile() to handle implicit casts.