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

Tue Jul 14 02:11:46 PDT 2020

steakhal added a comment.

In D83660#2149509 <https://reviews.llvm.org/D83660#2149509>, @OikawaKirie wrote:

> > Might in the future I would spend some time on it - we will see.
>
> [...] If there is anything that our research group can do, you are free to contact us.

I would use the official LLVM/clang-static-analyzer <https://discord.gg/xS7Z362> channel for lightweight discussions.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83660