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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D83660#2166917 <https://reviews.llvm.org/D83660#2166917>, @steakhal wrote:

> Although I'm not the most experienced one here, I think it's good to go.


Let's wait for the test to be added, sounds like it's close.

(@OikawaKirie, you can use delta debugging tools like `creduce` or `delta` to automatically write test cases for crashes)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83660