diff options
| author | Vince Bridgers <vince.a.bridgers@gmail.com> | 2022-03-22 19:33:19 -0500 |
|---|---|---|
| committer | einvbri <vince.a.bridgers@ericsson.com> | 2022-03-23 08:26:40 -0500 |
| commit | 9ef7ac51af67d08212dc69e5a932c4aa447ee9b7 (patch) | |
| tree | 5cddc6a5d0b28f0d53ae0228b0ec165d72ac48c8 /llvm/docs/tutorial | |
| parent | 5fdc4dd7770486c0127dc5919aafea3f8ff2e61e (diff) | |
| download | llvm-9ef7ac51af67d08212dc69e5a932c4aa447ee9b7.zip llvm-9ef7ac51af67d08212dc69e5a932c4aa447ee9b7.tar.gz llvm-9ef7ac51af67d08212dc69e5a932c4aa447ee9b7.tar.bz2 | |
[analyzer] Fix crash in RangedConstraintManager.cpp
This change fixes a crash in RangedConstraintManager.cpp:assumeSym due to an
unhandled BO_Div case.
clang: <root>clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:51:
virtual clang::ento::ProgramStateRef
clang::ento::RangedConstraintManager::assumeSym(clang::ento::ProgramStateRef,
clang::ento::SymbolRef, bool):
Assertion `BinaryOperator::isComparisonOp(Op)' failed.
Reviewed By: NoQ
Differential Revision: https://reviews.llvm.org/D122277
Diffstat (limited to 'llvm/docs/tutorial')
0 files changed, 0 insertions, 0 deletions