[PATCH] D83660: [analyzer] Fix a crash for dereferencing an empty llvm::Optional variable in SMTConstraintManager.h.

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added a subscriber: vrnithinkumar.
vsavchenko added a comment.

In D83660#2148834 <https://reviews.llvm.org/D83660#2148834>, @NoQ wrote:

> Looks like a copy-paste error indeed.


@vrnithinkumar @NoQ looks like a good opportunity for `SmartPtr` checker and `llvm::Optional`!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D83660/new/

https://reviews.llvm.org/D83660