r235190 - Remove the assertion as it was useless and broken.
Sylvestre Ledru
sylvestre at debian.org
Fri Apr 17 06:21:40 PDT 2015
Author: sylvestre
Date: Fri Apr 17 08:21:39 2015
New Revision: 235190
URL: http://llvm.org/viewvc/llvm-project?rev=235190&view=rev
Log:
Remove the assertion as it was useless and broken.
Enforcing the assert caused the following tests to fail:
Clang :: Analysis__bstring.c
Clang :: Analysis__comparison-implicit-casts.cpp
Clang :: Analysis__malloc-interprocedural.c
Clang :: Analysis__malloc.c
Clang :: Analysis__redefined_system.c
Clang :: Analysis__string.c
Clang :: Analysis__weak-functions.c
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/CStringChecker.cpp?rev=235190&r1=235189&r2=235190&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/CStringChecker.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/CStringChecker.cpp Fri Apr 17 08:21:39 2015
@@ -1922,10 +1922,6 @@ bool CStringChecker::evalCall(const Call
if (!evalFunction)
return false;
- // Make sure each function sets its own description.
- // (But don't bother in a release build.)
- assert(!(CurrentFunctionDescription == nullptr));
-
// Check and evaluate the call.
(this->*evalFunction)(C, CE);
More information about the cfe-commits
mailing list