David Majnemer f69ce86048 Analysis: Add a CFG successor to a SwitchStmt if it is both empty and fully covered ... Consider the case where a SwitchStmt satisfied isAllEnumCasesCovered() as well as having no cases at all (i.e. the enum it covers has no enumerators). In this case, we should add a successor to repair the CFG. This fixes PR16212. llvm-svn: 183237		2013-06-04 17:38:44 +00:00
..
AnalysisDeclContext.cpp	Revert "[analyzer; alternate edges] improve support for edges with PseudoObjectExprs."	2013-05-18 02:26:50 +00:00
BodyFarm.cpp	Replace ArrayRef<T>() with None, now that we have an implicit ArrayRef constructor from None	2013-05-05 00:41:58 +00:00
BodyFarm.h	Include llvm::Optional in clang/Basic/LLVM.h	2013-02-20 22:23:23 +00:00
CFG.cpp	Analysis: Add a CFG successor to a SwitchStmt if it is both empty and fully covered	2013-06-04 17:38:44 +00:00
CFGReachabilityAnalysis.cpp	remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports	2011-07-23 10:55:15 +00:00
CFGStmtMap.cpp	Remove the CFGElement "Invalid" state.	2013-02-23 00:29:34 +00:00
CMakeLists.txt	Implement faux-body-synthesis of well-known functions in the static analyzer when	2012-09-21 00:09:11 +00:00
CallGraph.cpp	[analyzer] Fix typos.	2012-12-21 17:27:04 +00:00
CocoaConventions.cpp	Excise <cctype> from Clang (except clang-tblgen) in favor of CharInfo.h.	2013-02-08 22:30:41 +00:00
Dominators.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
FormatString.cpp	Add support for __wchar_t in -fms-extensions mode.	2013-05-10 10:08:40 +00:00
FormatStringParsing.h	Sort all of Clang's files under 'lib', and fix up the broken headers	2012-12-04 09:13:33 +00:00
LiveVariables.cpp	Remove the CFGElement "Invalid" state.	2013-02-23 00:29:34 +00:00
Makefile	BUILD_ARCHIVE is the default for libraries, no need to set it.	2010-07-18 00:14:47 +00:00
ObjCNoReturn.cpp	clang/lib/Analysis/ObjCNoReturn.cpp: Fix [-Wnewline-eof]	2012-09-13 05:53:17 +00:00
PostOrderCFGView.cpp	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch	2011-12-20 02:48:34 +00:00
PrintfFormatString.cpp	Add support for __wchar_t in -fms-extensions mode.	2013-05-10 10:08:40 +00:00
ProgramPoint.cpp	[analyzer] Run remove dead bindings right before leaving a function.	2012-04-20 21:59:08 +00:00
PseudoConstantAnalysis.cpp	Drop the ASTContext.h include from Stmt.h and fix up transitive users.	2012-07-04 17:04:04 +00:00
ReachableCode.cpp	Remove the CFGElement "Invalid" state.	2013-02-23 00:29:34 +00:00
ScanfFormatString.cpp	Add support for __wchar_t in -fms-extensions mode.	2013-05-10 10:08:40 +00:00
ThreadSafety.cpp	Thread safety analysis: fix use after free bug reported by Evgeniy Stepanov.	2013-05-20 17:57:55 +00:00
UninitializedValues.cpp	Remove unused, awkward CFGStmtVisitor and subclasses.	2013-05-15 23:22:55 +00:00