diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-08-03 00:09:51 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-08-03 00:09:51 +0000 |
commit | 9b823e8e1ccb8a2cb49923bad22a80ca96f41f92 (patch) | |
tree | 568619e091819d2b736a6b64ea94b0b11ea60a90 /lib/Checker/GRCoreEngine.cpp | |
parent | ad5a894df1841698c824381b414630799adc26ca (diff) |
Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110087 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/GRCoreEngine.cpp')
-rw-r--r-- | lib/Checker/GRCoreEngine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Checker/GRCoreEngine.cpp b/lib/Checker/GRCoreEngine.cpp index b0be709661..c2a3322537 100644 --- a/lib/Checker/GRCoreEngine.cpp +++ b/lib/Checker/GRCoreEngine.cpp @@ -708,7 +708,8 @@ void GRCallEnterNodeBuilder::GenerateNode(const GRState *state, OldMgr.shouldPurgeDead(), OldMgr.shouldEagerlyAssume(), OldMgr.shouldTrimGraph(), - OldMgr.shouldInlineCall()); + OldMgr.shouldInlineCall(), + OldMgr.getAnalysisContextManager().getUseUnoptimizedCFG()); llvm::OwningPtr<GRTransferFuncs> TF(MakeCFRefCountTF(AMgr.getASTContext(), /* GCEnabled */ false, AMgr.getLangOptions())); |