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

[Ella Ma via Phabricator via cfe-commits]

OikawaKirie added a comment.

> do you accidentally have a test case to reproduce the crash

@NoQ I am now working with the reporter of this bug to make a simple test case to trigger the crash.

> looks like a good opportunity for `SmartPtr` checker and `llvm::Optional`!

@vsavchenko It seems not difficult to write a checker specifically for `llvm::Optional`. However, the root reason for this crash is an assertion failure. It seems to be better to write a checker to report assertion failures.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83660