diff options
| author | 2019-01-27 16:42:12 +0000 | |
|---|---|---|
| committer | 2019-01-27 16:42:12 +0000 | |
| commit | b773203fb58f3ef282fb69c832d8710cab5bc82d (patch) | |
| tree | e75913f147570fbd75169647b144df85b88a038c /gnu/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp | |
| parent | tweak errno in previous (diff) | |
| download | wireguard-openbsd-b773203fb58f3ef282fb69c832d8710cab5bc82d.tar.xz wireguard-openbsd-b773203fb58f3ef282fb69c832d8710cab5bc82d.zip | |
Import LLVM 7.0.1 release including clang, lld and lldb.
Diffstat (limited to 'gnu/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp')
| -rw-r--r-- | gnu/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp b/gnu/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp index cdb1ed9b381..c43d30440c8 100644 --- a/gnu/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp +++ b/gnu/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ModelInjector.cpp @@ -10,6 +10,7 @@ #include "ModelInjector.h" #include "clang/AST/Decl.h" #include "clang/Basic/IdentifierTable.h" +#include "clang/Basic/Stack.h" #include "clang/Frontend/ASTUnit.h" #include "clang/Frontend/CompilerInstance.h" #include "clang/Frontend/FrontendAction.h" @@ -95,11 +96,10 @@ void ModelInjector::onBodySynthesis(const NamedDecl *D) { ParseModelFileAction parseModelFile(Bodies); - const unsigned ThreadStackSize = 8 << 20; llvm::CrashRecoveryContext CRC; CRC.RunSafelyOnThread([&]() { Instance.ExecuteAction(parseModelFile); }, - ThreadStackSize); + DesiredStackSize); Instance.getPreprocessor().FinalizeForModelFile(); @@ -109,7 +109,7 @@ void ModelInjector::onBodySynthesis(const NamedDecl *D) { // The preprocessor enters to the main file id when parsing is started, so // the main file id is changed to the model file during parsing and it needs - // to be reseted to the former main file id after parsing of the model file + // to be reset to the former main file id after parsing of the model file // is done. SM.setMainFileID(mainFileID); } |
