]> granicus.if.org Git - clang/commit
Remove the CFGElement "Invalid" state.
authorDavid Blaikie <dblaikie@gmail.com>
Sat, 23 Feb 2013 00:29:34 +0000 (00:29 +0000)
committerDavid Blaikie <dblaikie@gmail.com>
Sat, 23 Feb 2013 00:29:34 +0000 (00:29 +0000)
commitb07805485c603be3d8011f72611465324c9e664b
tree2a1bf633a0201b748631fb8fa90fa7c2280990cc
parent02fb50d54042982bccc04c276ad2342827c8fcd3
Remove the CFGElement "Invalid" state.

Use Optional<CFG*> where invalid states were needed previously. In the one case
where that's not possible (beginAutomaticObjDtorsInsert) just use a dummy
CFGAutomaticObjDtor.

Thanks for the help from Jordan Rose & discussion/feedback from Ted Kremenek
and Doug Gregor.

Post commit code review feedback on r175796 by Ted Kremenek.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@175938 91177308-0d34-0410-b5e6-96231b3b80d8
19 files changed:
include/clang/Analysis/CFG.h
include/clang/Analysis/ProgramPoint.h
lib/Analysis/CFG.cpp
lib/Analysis/CFGStmtMap.cpp
lib/Analysis/LiveVariables.cpp
lib/Analysis/ReachableCode.cpp
lib/Analysis/ThreadSafety.cpp
lib/Analysis/UninitializedValues.cpp
lib/Sema/AnalysisBasedWarnings.cpp
lib/StaticAnalyzer/Checkers/AnalyzerStatsChecker.cpp
lib/StaticAnalyzer/Checkers/MallocOverflowSecurityChecker.cpp
lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp
lib/StaticAnalyzer/Core/BugReporter.cpp
lib/StaticAnalyzer/Core/CallEvent.cpp
lib/StaticAnalyzer/Core/CoreEngine.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/ExprEngineC.cpp
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
lib/StaticAnalyzer/Core/PathDiagnostic.cpp