diff options
| author | Kristóf Umann <dkszelethus@gmail.com> | 2022-02-22 15:30:47 +0100 |
|---|---|---|
| committer | Kristóf Umann <dkszelethus@gmail.com> | 2022-02-25 17:51:37 +0100 |
| commit | 5048a58a6792ee7432b749a48c937cc9b6a9dc93 (patch) | |
| tree | e7789fc27247a8e164351bea8dea4cdb322bddb9 /libcxx/include/__algorithm/comp.h | |
| parent | c601dfbcc21386adc395016c28f339ecb29a56a2 (diff) | |
| download | llvm-5048a58a6792ee7432b749a48c937cc9b6a9dc93.zip llvm-5048a58a6792ee7432b749a48c937cc9b6a9dc93.tar.gz llvm-5048a58a6792ee7432b749a48c937cc9b6a9dc93.tar.bz2 | |
[analyzer] Don't crash if the analyzer-constraint is set to Z3, but llvm is not built with it
Exactly what it says on the tin! We had a nasty crash with the following incovation:
$ clang --analyze -Xclang -analyzer-constraints=z3 test.c
fatal error: error in backend: LLVM was not compiled with Z3 support, rebuild with -DLLVM_ENABLE_Z3_SOLVER=ON
... <stack trace> ...
Differential Revision: https://reviews.llvm.org/D120325
Diffstat (limited to 'libcxx/include/__algorithm/comp.h')
0 files changed, 0 insertions, 0 deletions