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

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

It seems that this patch is stuck.
How can I reproduce the crash? @OikawaKirie

The closest I could come up with was:

  void clang_analyzer_eval(int);
  void clang_analyzer_printState();
  
  void foo(int a, int b) {
    if (a > 5)
      return;
    if (b < 4)
      return;
    if (a <= b)
      return;
  
    clang_analyzer_printState();
    clang_analyzer_eval(a == 5); // expected-warning{{TRUE}}
    clang_analyzer_eval(b == 4); // expected-warning{{TRUE}}
    (void)a;
    (void)b;
  }

But it still not crash. Any idea?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83660