diff options
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp b/clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp index 1e3adb4f266c..789c7772d123 100644 --- a/clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp @@ -45,7 +45,6 @@ void AssumeModelingChecker::checkPostStmt(const AttributedStmt *A, continue; const auto *Assumption = AssumptionVal.getAsInteger(); - assert(Assumption && "We should know the exact outcome of an assume expr"); if (Assumption && Assumption->isZero()) { C.addSink(); } |