head 1.1; branch 1.1.1; access; symbols perseant-exfatfs-base-20261102:1.1.1.10 netbsd-11-1-RELEASE:1.1.1.10 netbsd-10-2-RELEASE:1.1.1.10 netbsd-9-5-RELEASE:1.1.1.9 netbsd-11-0-RELEASE:1.1.1.10 netbsd-11-0-RC7:1.1.1.10 netbsd-11-0-RC6:1.1.1.10 netbsd-11-0-RC5:1.1.1.10 netbsd-11-0-RC4:1.1.1.10 netbsd-11-0-RC3:1.1.1.10 netbsd-11-0-RC2:1.1.1.10 netbsd-11-0-RC1:1.1.1.10 perseant-exfatfs-base-20250801:1.1.1.10 netbsd-11:1.1.1.10.0.10 netbsd-11-base:1.1.1.10 netbsd-10-1-RELEASE:1.1.1.10 perseant-exfatfs-base-20240630:1.1.1.10 perseant-exfatfs:1.1.1.10.0.8 perseant-exfatfs-base:1.1.1.10 netbsd-8-3-RELEASE:1.1.1.7 netbsd-9-4-RELEASE:1.1.1.9 netbsd-10-0-RELEASE:1.1.1.10 netbsd-10-0-RC6:1.1.1.10 netbsd-10-0-RC5:1.1.1.10 netbsd-10-0-RC4:1.1.1.10 netbsd-10-0-RC3:1.1.1.10 netbsd-10-0-RC2:1.1.1.10 netbsd-10-0-RC1:1.1.1.10 netbsd-10:1.1.1.10.0.6 netbsd-10-base:1.1.1.10 netbsd-9-3-RELEASE:1.1.1.9 cjep_sun2x:1.1.1.10.0.4 cjep_sun2x-base:1.1.1.10 cjep_staticlib_x-base1:1.1.1.10 netbsd-9-2-RELEASE:1.1.1.9 cjep_staticlib_x:1.1.1.10.0.2 cjep_staticlib_x-base:1.1.1.10 netbsd-9-1-RELEASE:1.1.1.9 phil-wifi-20200421:1.1.1.10 phil-wifi-20200411:1.1.1.10 phil-wifi-20200406:1.1.1.10 netbsd-8-2-RELEASE:1.1.1.7 netbsd-9-0-RELEASE:1.1.1.9 netbsd-9-0-RC2:1.1.1.9 netbsd-9-0-RC1:1.1.1.9 netbsd-9:1.1.1.9.0.2 netbsd-9-base:1.1.1.9 phil-wifi-20190609:1.1.1.9 netbsd-8-1-RELEASE:1.1.1.7 netbsd-8-1-RC1:1.1.1.7 pgoyette-compat-merge-20190127:1.1.1.8.2.1 pgoyette-compat-20190127:1.1.1.9 pgoyette-compat-20190118:1.1.1.9 pgoyette-compat-1226:1.1.1.9 pgoyette-compat-1126:1.1.1.9 pgoyette-compat-1020:1.1.1.9 pgoyette-compat-0930:1.1.1.9 pgoyette-compat-0906:1.1.1.9 netbsd-7-2-RELEASE:1.1.1.4.2.1 pgoyette-compat-0728:1.1.1.9 clang-337282:1.1.1.9 netbsd-8-0-RELEASE:1.1.1.7 phil-wifi:1.1.1.8.0.4 phil-wifi-base:1.1.1.8 pgoyette-compat-0625:1.1.1.8 netbsd-8-0-RC2:1.1.1.7 pgoyette-compat-0521:1.1.1.8 pgoyette-compat-0502:1.1.1.8 pgoyette-compat-0422:1.1.1.8 netbsd-8-0-RC1:1.1.1.7 pgoyette-compat-0415:1.1.1.8 pgoyette-compat-0407:1.1.1.8 pgoyette-compat-0330:1.1.1.8 pgoyette-compat-0322:1.1.1.8 pgoyette-compat-0315:1.1.1.8 netbsd-7-1-2-RELEASE:1.1.1.4.2.1 pgoyette-compat:1.1.1.8.0.2 pgoyette-compat-base:1.1.1.8 netbsd-7-1-1-RELEASE:1.1.1.4.2.1 clang-319952:1.1.1.8 matt-nb8-mediatek:1.1.1.7.0.10 matt-nb8-mediatek-base:1.1.1.7 clang-309604:1.1.1.8 perseant-stdc-iso10646:1.1.1.7.0.8 perseant-stdc-iso10646-base:1.1.1.7 netbsd-8:1.1.1.7.0.6 netbsd-8-base:1.1.1.7 prg-localcount2-base3:1.1.1.7 prg-localcount2-base2:1.1.1.7 prg-localcount2-base1:1.1.1.7 prg-localcount2:1.1.1.7.0.4 prg-localcount2-base:1.1.1.7 pgoyette-localcount-20170426:1.1.1.7 bouyer-socketcan-base1:1.1.1.7 pgoyette-localcount-20170320:1.1.1.7 netbsd-7-1:1.1.1.4.2.1.0.6 netbsd-7-1-RELEASE:1.1.1.4.2.1 netbsd-7-1-RC2:1.1.1.4.2.1 clang-294123:1.1.1.7 netbsd-7-nhusb-base-20170116:1.1.1.4.2.1 bouyer-socketcan:1.1.1.7.0.2 bouyer-socketcan-base:1.1.1.7 clang-291444:1.1.1.7 pgoyette-localcount-20170107:1.1.1.6 netbsd-7-1-RC1:1.1.1.4.2.1 pgoyette-localcount-20161104:1.1.1.6 netbsd-7-0-2-RELEASE:1.1.1.4.2.1 localcount-20160914:1.1.1.6 netbsd-7-nhusb:1.1.1.4.2.1.0.4 netbsd-7-nhusb-base:1.1.1.4.2.1 clang-280599:1.1.1.6 pgoyette-localcount-20160806:1.1.1.6 pgoyette-localcount-20160726:1.1.1.6 pgoyette-localcount:1.1.1.6.0.2 pgoyette-localcount-base:1.1.1.6 netbsd-7-0-1-RELEASE:1.1.1.4.2.1 clang-261930:1.1.1.6 netbsd-7-0:1.1.1.4.2.1.0.2 netbsd-7-0-RELEASE:1.1.1.4.2.1 netbsd-7-0-RC3:1.1.1.4.2.1 netbsd-7-0-RC2:1.1.1.4.2.1 netbsd-7-0-RC1:1.1.1.4.2.1 clang-237755:1.1.1.5 clang-232565:1.1.1.5 clang-227398:1.1.1.5 tls-maxphys-base:1.1.1.4 tls-maxphys:1.1.1.4.0.4 netbsd-7:1.1.1.4.0.2 netbsd-7-base:1.1.1.4 clang-215315:1.1.1.4 clang-209886:1.1.1.3 yamt-pagecache:1.1.1.2.0.4 yamt-pagecache-base9:1.1.1.2 tls-earlyentropy:1.1.1.2.0.2 tls-earlyentropy-base:1.1.1.3 riastradh-xf86-video-intel-2-7-1-pre-2-21-15:1.1.1.2 riastradh-drm2-base3:1.1.1.2 clang-202566:1.1.1.2 clang-201163:1.1.1.2 clang-199312:1.1.1.1 clang-198450:1.1.1.1 clang-196603:1.1.1.1 clang-195771:1.1.1.1 LLVM:1.1.1; locks; strict; comment @// @; 1.1 date 2013.11.28.14.14.52; author joerg; state Exp; branches 1.1.1.1; next ; commitid ow8OybrawrB1f3fx; 1.1.1.1 date 2013.11.28.14.14.52; author joerg; state Exp; branches; next 1.1.1.2; commitid ow8OybrawrB1f3fx; 1.1.1.2 date 2014.02.14.20.07.26; author joerg; state Exp; branches 1.1.1.2.2.1 1.1.1.2.4.1; next 1.1.1.3; commitid annVkZ1sc17rF6px; 1.1.1.3 date 2014.05.30.18.14.44; author joerg; state Exp; branches; next 1.1.1.4; commitid 8q0kdlBlCn09GACx; 1.1.1.4 date 2014.08.10.17.08.35; author joerg; state Exp; branches 1.1.1.4.2.1 1.1.1.4.4.1; next 1.1.1.5; commitid N85tXAN6Ex9VZPLx; 1.1.1.5 date 2015.01.29.19.57.30; author joerg; state Exp; branches; next 1.1.1.6; commitid mlISSizlPKvepX7y; 1.1.1.6 date 2016.02.27.22.12.06; author joerg; state Exp; branches 1.1.1.6.2.1; next 1.1.1.7; commitid tIimz3oDlh1NpBWy; 1.1.1.7 date 2017.01.11.10.35.32; author joerg; state Exp; branches; next 1.1.1.8; commitid CNnUNfII1jgNmxBz; 1.1.1.8 date 2017.08.01.19.35.14; author joerg; state Exp; branches 1.1.1.8.2.1 1.1.1.8.4.1; next 1.1.1.9; commitid pMuDy65V0VicSx1A; 1.1.1.9 date 2018.07.17.18.31.06; author joerg; state Exp; branches; next 1.1.1.10; commitid wDzL46ALjrCZgwKA; 1.1.1.10 date 2019.11.13.22.19.29; author joerg; state dead; branches; next ; commitid QD8YATxuNG34YJKB; 1.1.1.2.2.1 date 2014.08.10.07.08.10; author tls; state Exp; branches; next ; commitid t01A1TLTYxkpGMLx; 1.1.1.2.4.1 date 2014.02.14.20.07.26; author yamt; state dead; branches; next 1.1.1.2.4.2; commitid WSrDtL5nYAUyiyBx; 1.1.1.2.4.2 date 2014.05.22.16.18.31; author yamt; state Exp; branches; next ; commitid WSrDtL5nYAUyiyBx; 1.1.1.4.2.1 date 2015.06.04.20.04.30; author snj; state Exp; branches; next ; commitid yRnjq9fueSo6n9oy; 1.1.1.4.4.1 date 2014.08.10.17.08.35; author tls; state dead; branches; next 1.1.1.4.4.2; commitid jTnpym9Qu0o4R1Nx; 1.1.1.4.4.2 date 2014.08.19.23.47.32; author tls; state Exp; branches; next ; commitid jTnpym9Qu0o4R1Nx; 1.1.1.6.2.1 date 2017.03.20.06.52.42; author pgoyette; state Exp; branches; next ; commitid jjw7cAwgyKq7RfKz; 1.1.1.8.2.1 date 2018.07.28.04.33.24; author pgoyette; state Exp; branches; next ; commitid 1UP1xAIUxv1ZgRLA; 1.1.1.8.4.1 date 2019.06.10.21.45.29; author christos; state Exp; branches; next 1.1.1.8.4.2; commitid jtc8rnCzWiEEHGqB; 1.1.1.8.4.2 date 2020.04.13.07.46.39; author martin; state dead; branches; next ; commitid X01YhRUPVUDaec4C; desc @@ 1.1 log @Initial revision @ text @//===-- AnalyzerOptions.cpp - Analysis Engine Options -----------*- C++ -*-===// // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // // This file contains special accessors for analyzer configuration options // with string representations. // //===----------------------------------------------------------------------===// #include "clang/StaticAnalyzer/Core/AnalyzerOptions.h" #include "llvm/ADT/SmallString.h" #include "llvm/ADT/StringSwitch.h" #include "llvm/Support/ErrorHandling.h" #include "llvm/Support/raw_ostream.h" using namespace clang; using namespace llvm; AnalyzerOptions::UserModeKind AnalyzerOptions::getUserMode() { if (UserMode == UMK_NotSet) { StringRef ModeStr(Config.GetOrCreateValue("mode", "deep").getValue()); UserMode = llvm::StringSwitch(ModeStr) .Case("shallow", UMK_Shallow) .Case("deep", UMK_Deep) .Default(UMK_NotSet); assert(UserMode != UMK_NotSet && "User mode is invalid."); } return UserMode; } IPAKind AnalyzerOptions::getIPAMode() { if (IPAMode == IPAK_NotSet) { // Use the User Mode to set the default IPA value. // Note, we have to add the string to the Config map for the ConfigDumper // checker to function properly. const char *DefaultIPA = 0; UserModeKind HighLevelMode = getUserMode(); if (HighLevelMode == UMK_Shallow) DefaultIPA = "inlining"; else if (HighLevelMode == UMK_Deep) DefaultIPA = "dynamic-bifurcate"; assert(DefaultIPA); // Lookup the ipa configuration option, use the default from User Mode. StringRef ModeStr(Config.GetOrCreateValue("ipa", DefaultIPA).getValue()); IPAKind IPAConfig = llvm::StringSwitch(ModeStr) .Case("none", IPAK_None) .Case("basic-inlining", IPAK_BasicInlining) .Case("inlining", IPAK_Inlining) .Case("dynamic", IPAK_DynamicDispatch) .Case("dynamic-bifurcate", IPAK_DynamicDispatchBifurcate) .Default(IPAK_NotSet); assert(IPAConfig != IPAK_NotSet && "IPA Mode is invalid."); // Set the member variable. IPAMode = IPAConfig; } return IPAMode; } bool AnalyzerOptions::mayInlineCXXMemberFunction(CXXInlineableMemberKind K) { if (getIPAMode() < IPAK_Inlining) return false; if (!CXXMemberInliningMode) { static const char *ModeKey = "c++-inlining"; StringRef ModeStr(Config.GetOrCreateValue(ModeKey, "destructors").getValue()); CXXInlineableMemberKind &MutableMode = const_cast(CXXMemberInliningMode); MutableMode = llvm::StringSwitch(ModeStr) .Case("constructors", CIMK_Constructors) .Case("destructors", CIMK_Destructors) .Case("none", CIMK_None) .Case("methods", CIMK_MemberFunctions) .Default(CXXInlineableMemberKind()); if (!MutableMode) { // FIXME: We should emit a warning here about an unknown inlining kind, // but the AnalyzerOptions doesn't have access to a diagnostic engine. MutableMode = CIMK_None; } } return CXXMemberInliningMode >= K; } static StringRef toString(bool b) { return b ? "true" : "false"; } bool AnalyzerOptions::getBooleanOption(StringRef Name, bool DefaultVal) { // FIXME: We should emit a warning here if the value is something other than // "true", "false", or the empty string (meaning the default value), // but the AnalyzerOptions doesn't have access to a diagnostic engine. StringRef V(Config.GetOrCreateValue(Name, toString(DefaultVal)).getValue()); return llvm::StringSwitch(V) .Case("true", true) .Case("false", false) .Default(DefaultVal); } bool AnalyzerOptions::getBooleanOption(Optional &V, StringRef Name, bool DefaultVal) { if (!V.hasValue()) V = getBooleanOption(Name, DefaultVal); return V.getValue(); } bool AnalyzerOptions::includeTemporaryDtorsInCFG() { return getBooleanOption(IncludeTemporaryDtorsInCFG, "cfg-temporary-dtors", /* Default = */ false); } bool AnalyzerOptions::mayInlineCXXStandardLibrary() { return getBooleanOption(InlineCXXStandardLibrary, "c++-stdlib-inlining", /*Default=*/true); } bool AnalyzerOptions::mayInlineTemplateFunctions() { return getBooleanOption(InlineTemplateFunctions, "c++-template-inlining", /*Default=*/true); } bool AnalyzerOptions::mayInlineCXXContainerCtorsAndDtors() { return getBooleanOption(InlineCXXContainerCtorsAndDtors, "c++-container-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineCXXSharedPtrDtor() { return getBooleanOption(InlineCXXSharedPtrDtor, "c++-shared_ptr-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineObjCMethod() { return getBooleanOption(ObjCInliningMode, "objc-inlining", /* Default = */ true); } bool AnalyzerOptions::shouldSuppressNullReturnPaths() { return getBooleanOption(SuppressNullReturnPaths, "suppress-null-return-paths", /* Default = */ true); } bool AnalyzerOptions::shouldAvoidSuppressingNullArgumentPaths() { return getBooleanOption(AvoidSuppressingNullArgumentPaths, "avoid-suppressing-null-argument-paths", /* Default = */ false); } bool AnalyzerOptions::shouldSuppressInlinedDefensiveChecks() { return getBooleanOption(SuppressInlinedDefensiveChecks, "suppress-inlined-defensive-checks", /* Default = */ true); } bool AnalyzerOptions::shouldSuppressFromCXXStandardLibrary() { return getBooleanOption(SuppressFromCXXStandardLibrary, "suppress-c++-stdlib", /* Default = */ false); } bool AnalyzerOptions::shouldReportIssuesInMainSourceFile() { return getBooleanOption(ReportIssuesInMainSourceFile, "report-in-main-source-file", /* Default = */ false); } int AnalyzerOptions::getOptionAsInteger(StringRef Name, int DefaultVal) { SmallString<10> StrBuf; llvm::raw_svector_ostream OS(StrBuf); OS << DefaultVal; StringRef V(Config.GetOrCreateValue(Name, OS.str()).getValue()); int Res = DefaultVal; bool b = V.getAsInteger(10, Res); assert(!b && "analyzer-config option should be numeric"); (void) b; return Res; } unsigned AnalyzerOptions::getAlwaysInlineSize() { if (!AlwaysInlineSize.hasValue()) AlwaysInlineSize = getOptionAsInteger("ipa-always-inline-size", 3); return AlwaysInlineSize.getValue(); } unsigned AnalyzerOptions::getMaxInlinableSize() { if (!MaxInlinableSize.hasValue()) { int DefaultValue = 0; UserModeKind HighLevelMode = getUserMode(); switch (HighLevelMode) { default: llvm_unreachable("Invalid mode."); case UMK_Shallow: DefaultValue = 4; break; case UMK_Deep: DefaultValue = 50; break; } MaxInlinableSize = getOptionAsInteger("max-inlinable-size", DefaultValue); } return MaxInlinableSize.getValue(); } unsigned AnalyzerOptions::getGraphTrimInterval() { if (!GraphTrimInterval.hasValue()) GraphTrimInterval = getOptionAsInteger("graph-trim-interval", 1000); return GraphTrimInterval.getValue(); } unsigned AnalyzerOptions::getMaxTimesInlineLarge() { if (!MaxTimesInlineLarge.hasValue()) MaxTimesInlineLarge = getOptionAsInteger("max-times-inline-large", 32); return MaxTimesInlineLarge.getValue(); } unsigned AnalyzerOptions::getMaxNodesPerTopLevelFunction() { if (!MaxNodesPerTopLevelFunction.hasValue()) { int DefaultValue = 0; UserModeKind HighLevelMode = getUserMode(); switch (HighLevelMode) { default: llvm_unreachable("Invalid mode."); case UMK_Shallow: DefaultValue = 75000; break; case UMK_Deep: DefaultValue = 150000; break; } MaxNodesPerTopLevelFunction = getOptionAsInteger("max-nodes", DefaultValue); } return MaxNodesPerTopLevelFunction.getValue(); } bool AnalyzerOptions::shouldSynthesizeBodies() { return getBooleanOption("faux-bodies", true); } bool AnalyzerOptions::shouldPrunePaths() { return getBooleanOption("prune-paths", true); } bool AnalyzerOptions::shouldConditionalizeStaticInitializers() { return getBooleanOption("cfg-conditional-static-initializers", true); } @ 1.1.1.1 log @Import Clang 3.4rc1 r195771. @ text @@ 1.1.1.2 log @Import Clang 3.5svn r201163. @ text @a136 6 bool AnalyzerOptions::mayInlineCXXAllocator() { return getBooleanOption(InlineCXXAllocator, "c++-allocator-inlining", /*Default=*/false); } @ 1.1.1.2.2.1 log @Rebase. @ text @d42 1 a42 1 const char *DefaultIPA = nullptr; @ 1.1.1.3 log @Import Clang 3.5svn r209886. @ text @d42 1 a42 1 const char *DefaultIPA = nullptr; @ 1.1.1.4 log @Import clang 3.6svn r215315. @ text @d143 2 a144 2 bool AnalyzerOptions::mayInlineCXXContainerMethods() { return getBooleanOption(InlineCXXContainerMethods, a191 7 bool AnalyzerOptions::shouldWriteStableReportFilename() { return getBooleanOption(StableReportFilename, "stable-report-filename", /* Default = */ false); } @ 1.1.1.4.2.1 log @Update LLVM to 3.6.1, requested by joerg in ticket 824. @ text @d26 1 a26 2 StringRef ModeStr = Config.insert(std::make_pair("mode", "deep")).first->second; d51 1 a51 2 StringRef ModeStr = Config.insert(std::make_pair("ipa", DefaultIPA)).first->second; d75 3 a77 3 StringRef ModeStr = Config.insert(std::make_pair(ModeKey, "destructors")).first->second; d105 1 a105 2 StringRef V = Config.insert(std::make_pair(Name, toString(DefaultVal))).first->second; d203 2 a204 2 StringRef V = Config.insert(std::make_pair(Name, OS.str())).first->second; @ 1.1.1.5 log @Import Clang 3.6RC1 r227398. @ text @d26 1 a26 2 StringRef ModeStr = Config.insert(std::make_pair("mode", "deep")).first->second; d51 1 a51 2 StringRef ModeStr = Config.insert(std::make_pair("ipa", DefaultIPA)).first->second; d75 3 a77 3 StringRef ModeStr = Config.insert(std::make_pair(ModeKey, "destructors")).first->second; d105 1 a105 2 StringRef V = Config.insert(std::make_pair(Name, toString(DefaultVal))).first->second; d203 2 a204 2 StringRef V = Config.insert(std::make_pair(Name, OS.str())).first->second; @ 1.1.1.6 log @Import Clang 3.8.0rc3 r261930. @ text @a15 1 #include "clang/StaticAnalyzer/Core/Checker.h" a21 1 using namespace ento; d66 1 a66 1 d103 1 a103 23 StringRef AnalyzerOptions::getCheckerOption(StringRef CheckerName, StringRef OptionName, StringRef Default, bool SearchInParents) { // Search for a package option if the option for the checker is not specified // and search in parents is enabled. ConfigTable::const_iterator E = Config.end(); do { ConfigTable::const_iterator I = Config.find((Twine(CheckerName) + ":" + OptionName).str()); if (I != E) return StringRef(I->getValue()); size_t Pos = CheckerName.rfind('.'); if (Pos == StringRef::npos) return Default; CheckerName = CheckerName.substr(0, Pos); } while (!CheckerName.empty() && SearchInParents); return Default; } bool AnalyzerOptions::getBooleanOption(StringRef Name, bool DefaultVal, const CheckerBase *C, bool SearchInParents) { a106 1 StringRef Default = toString(DefaultVal); d108 1 a108 3 C ? getCheckerOption(C->getTagDescription(), Name, Default, SearchInParents) : StringRef(Config.insert(std::make_pair(Name, Default)).first->second); d116 1 a116 2 bool DefaultVal, const CheckerBase *C, bool SearchInParents) { d118 1 a118 1 V = getBooleanOption(Name, DefaultVal, C, SearchInParents); d202 1 a202 3 int AnalyzerOptions::getOptionAsInteger(StringRef Name, int DefaultVal, const CheckerBase *C, bool SearchInParents) { d207 1 a207 5 StringRef V = C ? getCheckerOption(C->getTagDescription(), Name, OS.str(), SearchInParents) : StringRef(Config.insert(std::make_pair(Name, OS.str())) .first->second); d211 1 a211 1 (void)b; a214 10 StringRef AnalyzerOptions::getOptionAsString(StringRef Name, StringRef DefaultVal, const CheckerBase *C, bool SearchInParents) { return C ? getCheckerOption(C->getTagDescription(), Name, DefaultVal, SearchInParents) : StringRef( Config.insert(std::make_pair(Name, DefaultVal)).first->second); } a253 7 unsigned AnalyzerOptions::getMinCFGSizeTreatFunctionsAsLarge() { if (!MinCFGSizeTreatFunctionsAsLarge.hasValue()) MinCFGSizeTreatFunctionsAsLarge = getOptionAsInteger( "min-cfg-size-treat-functions-as-large", 14); return MinCFGSizeTreatFunctionsAsLarge.getValue(); } a284 11 bool AnalyzerOptions::shouldInlineLambdas() { if (!InlineLambdas.hasValue()) InlineLambdas = getBooleanOption("inline-lambdas", /*Default=*/true); return InlineLambdas.getValue(); } bool AnalyzerOptions::shouldWidenLoops() { if (!WidenLoops.hasValue()) WidenLoops = getBooleanOption("widen-loops", /*Default=*/false); return WidenLoops.getValue(); } @ 1.1.1.6.2.1 log @Sync with HEAD @ text @a25 19 std::vector AnalyzerOptions::getRegisteredCheckers(bool IncludeExperimental /* = false */) { static const StringRef StaticAnalyzerChecks[] = { #define GET_CHECKERS #define CHECKER(FULLNAME, CLASS, DESCFILE, HELPTEXT, GROUPINDEX, HIDDEN) \ FULLNAME, #include "clang/StaticAnalyzer/Checkers/Checkers.inc" #undef CHECKER #undef GET_CHECKERS }; std::vector Result; for (StringRef CheckName : StaticAnalyzerChecks) { if (!CheckName.startswith("debug.") && (IncludeExperimental || !CheckName.startswith("alpha."))) Result.push_back(CheckName); } return Result; } a346 7 bool AnalyzerOptions::shouldDisplayNotesAsEvents() { if (!DisplayNotesAsEvents.hasValue()) DisplayNotesAsEvents = getBooleanOption("notes-as-events", /*Default=*/false); return DisplayNotesAsEvents.getValue(); } @ 1.1.1.7 log @Import Clang pre-4.0.0 r291444. @ text @a25 19 std::vector AnalyzerOptions::getRegisteredCheckers(bool IncludeExperimental /* = false */) { static const StringRef StaticAnalyzerChecks[] = { #define GET_CHECKERS #define CHECKER(FULLNAME, CLASS, DESCFILE, HELPTEXT, GROUPINDEX, HIDDEN) \ FULLNAME, #include "clang/StaticAnalyzer/Checkers/Checkers.inc" #undef CHECKER #undef GET_CHECKERS }; std::vector Result; for (StringRef CheckName : StaticAnalyzerChecks) { if (!CheckName.startswith("debug.") && (IncludeExperimental || !CheckName.startswith("alpha."))) Result.push_back(CheckName); } return Result; } a346 7 bool AnalyzerOptions::shouldDisplayNotesAsEvents() { if (!DisplayNotesAsEvents.hasValue()) DisplayNotesAsEvents = getBooleanOption("notes-as-events", /*Default=*/false); return DisplayNotesAsEvents.getValue(); } @ 1.1.1.8 log @Import clang r309604 from branches/release_50 @ text @a174 11 bool AnalyzerOptions::includeImplicitDtorsInCFG() { return getBooleanOption(IncludeImplicitDtorsInCFG, "cfg-implicit-dtors", /* Default = */ true); } bool AnalyzerOptions::includeLifetimeInCFG() { return getBooleanOption(IncludeLifetimeInCFG, "cfg-lifetime", /* Default = */ false); } d233 1 a233 1 /* Default = */ true); d296 1 a296 1 DefaultValue = 100; d335 1 a335 1 DefaultValue = 225000; @ 1.1.1.8.4.1 log @Sync with HEAD @ text @d1 1 a1 1 //===- AnalyzerOptions.cpp - Analysis Engine Options ----------------------===// a18 2 #include "llvm/ADT/StringRef.h" #include "llvm/ADT/Twine.h" a19 1 #include "llvm/Support/FileSystem.h" a20 4 #include #include #include #include a57 24 AnalyzerOptions::ExplorationStrategyKind AnalyzerOptions::getExplorationStrategy() { if (ExplorationStrategy == ExplorationStrategyKind::NotSet) { StringRef StratStr = Config .insert(std::make_pair("exploration_strategy", "unexplored_first_queue")) .first->second; ExplorationStrategy = llvm::StringSwitch(StratStr) .Case("dfs", ExplorationStrategyKind::DFS) .Case("bfs", ExplorationStrategyKind::BFS) .Case("unexplored_first", ExplorationStrategyKind::UnexploredFirst) .Case("unexplored_first_queue", ExplorationStrategyKind::UnexploredFirstQueue) .Case("bfs_block_dfs_contents", ExplorationStrategyKind::BFSBlockDFSContents) .Default(ExplorationStrategyKind::NotSet); assert(ExplorationStrategy != ExplorationStrategyKind::NotSet && "User mode is invalid."); } return ExplorationStrategy; } d60 1 d172 1 a172 1 /* Default = */ true); a185 17 bool AnalyzerOptions::includeLoopExitInCFG() { return getBooleanOption(IncludeLoopExitInCFG, "cfg-loopexit", /* Default = */ false); } bool AnalyzerOptions::includeRichConstructorsInCFG() { return getBooleanOption(IncludeRichConstructorsInCFG, "cfg-rich-constructors", /* Default = */ true); } bool AnalyzerOptions::includeScopesInCFG() { return getBooleanOption(IncludeScopesInCFG, "cfg-scopes", /* Default = */ false); } d201 1 a201 1 /*Default=*/true); a215 5 bool AnalyzerOptions::mayInlineCXXTemporaryDtors() { return getBooleanOption(InlineCXXTemporaryDtors, "c++-temp-dtor-inlining", /*Default=*/true); } a246 6 bool AnalyzerOptions::shouldCrosscheckWithZ3() { return getBooleanOption(CrosscheckWithZ3, "crosscheck-with-z3", /* Default = */ false); } a259 12 bool AnalyzerOptions::shouldSerializeStats() { return getBooleanOption(SerializeStats, "serialize-stats", /* Default = */ false); } bool AnalyzerOptions::shouldElideConstructors() { return getBooleanOption(ElideConstructors, "elide-constructors", /* Default = */ true); } d297 1 a321 6 unsigned AnalyzerOptions::getMaxSymbolComplexity() { if (!MaxSymbolComplexity.hasValue()) MaxSymbolComplexity = getOptionAsInteger("max-symbol-complexity", 25); return MaxSymbolComplexity.getValue(); } a377 6 bool AnalyzerOptions::shouldUnrollLoops() { if (!UnrollLoops.hasValue()) UnrollLoops = getBooleanOption("unroll-loops", /*Default=*/false); return UnrollLoops.getValue(); } a383 31 bool AnalyzerOptions::shouldAggressivelySimplifyRelationalComparison() { if (!AggressiveRelationalComparisonSimplification.hasValue()) AggressiveRelationalComparisonSimplification = getBooleanOption("aggressive-relational-comparison-simplification", /*Default=*/false); return AggressiveRelationalComparisonSimplification.getValue(); } StringRef AnalyzerOptions::getCTUDir() { if (!CTUDir.hasValue()) { CTUDir = getOptionAsString("ctu-dir", ""); if (!llvm::sys::fs::is_directory(*CTUDir)) CTUDir = ""; } return CTUDir.getValue(); } bool AnalyzerOptions::naiveCTUEnabled() { if (!NaiveCTU.hasValue()) { NaiveCTU = getBooleanOption("experimental-enable-naive-ctu-analysis", /*Default=*/false); } return NaiveCTU.getValue(); } StringRef AnalyzerOptions::getCTUIndexName() { if (!CTUIndexName.hasValue()) CTUIndexName = getOptionAsString("ctu-index-name", "externalFnMap.txt"); return CTUIndexName.getValue(); } @ 1.1.1.8.4.2 log @Mostly merge changes from HEAD upto 20200411 @ text @@ 1.1.1.8.2.1 log @Sync with HEAD @ text @d1 1 a1 1 //===- AnalyzerOptions.cpp - Analysis Engine Options ----------------------===// a18 2 #include "llvm/ADT/StringRef.h" #include "llvm/ADT/Twine.h" a19 1 #include "llvm/Support/FileSystem.h" a20 4 #include #include #include #include a57 24 AnalyzerOptions::ExplorationStrategyKind AnalyzerOptions::getExplorationStrategy() { if (ExplorationStrategy == ExplorationStrategyKind::NotSet) { StringRef StratStr = Config .insert(std::make_pair("exploration_strategy", "unexplored_first_queue")) .first->second; ExplorationStrategy = llvm::StringSwitch(StratStr) .Case("dfs", ExplorationStrategyKind::DFS) .Case("bfs", ExplorationStrategyKind::BFS) .Case("unexplored_first", ExplorationStrategyKind::UnexploredFirst) .Case("unexplored_first_queue", ExplorationStrategyKind::UnexploredFirstQueue) .Case("bfs_block_dfs_contents", ExplorationStrategyKind::BFSBlockDFSContents) .Default(ExplorationStrategyKind::NotSet); assert(ExplorationStrategy != ExplorationStrategyKind::NotSet && "User mode is invalid."); } return ExplorationStrategy; } d60 1 d172 1 a172 1 /* Default = */ true); a185 17 bool AnalyzerOptions::includeLoopExitInCFG() { return getBooleanOption(IncludeLoopExitInCFG, "cfg-loopexit", /* Default = */ false); } bool AnalyzerOptions::includeRichConstructorsInCFG() { return getBooleanOption(IncludeRichConstructorsInCFG, "cfg-rich-constructors", /* Default = */ true); } bool AnalyzerOptions::includeScopesInCFG() { return getBooleanOption(IncludeScopesInCFG, "cfg-scopes", /* Default = */ false); } d201 1 a201 1 /*Default=*/true); a215 5 bool AnalyzerOptions::mayInlineCXXTemporaryDtors() { return getBooleanOption(InlineCXXTemporaryDtors, "c++-temp-dtor-inlining", /*Default=*/true); } a246 6 bool AnalyzerOptions::shouldCrosscheckWithZ3() { return getBooleanOption(CrosscheckWithZ3, "crosscheck-with-z3", /* Default = */ false); } a259 12 bool AnalyzerOptions::shouldSerializeStats() { return getBooleanOption(SerializeStats, "serialize-stats", /* Default = */ false); } bool AnalyzerOptions::shouldElideConstructors() { return getBooleanOption(ElideConstructors, "elide-constructors", /* Default = */ true); } d297 1 a321 6 unsigned AnalyzerOptions::getMaxSymbolComplexity() { if (!MaxSymbolComplexity.hasValue()) MaxSymbolComplexity = getOptionAsInteger("max-symbol-complexity", 25); return MaxSymbolComplexity.getValue(); } a377 6 bool AnalyzerOptions::shouldUnrollLoops() { if (!UnrollLoops.hasValue()) UnrollLoops = getBooleanOption("unroll-loops", /*Default=*/false); return UnrollLoops.getValue(); } a383 31 bool AnalyzerOptions::shouldAggressivelySimplifyRelationalComparison() { if (!AggressiveRelationalComparisonSimplification.hasValue()) AggressiveRelationalComparisonSimplification = getBooleanOption("aggressive-relational-comparison-simplification", /*Default=*/false); return AggressiveRelationalComparisonSimplification.getValue(); } StringRef AnalyzerOptions::getCTUDir() { if (!CTUDir.hasValue()) { CTUDir = getOptionAsString("ctu-dir", ""); if (!llvm::sys::fs::is_directory(*CTUDir)) CTUDir = ""; } return CTUDir.getValue(); } bool AnalyzerOptions::naiveCTUEnabled() { if (!NaiveCTU.hasValue()) { NaiveCTU = getBooleanOption("experimental-enable-naive-ctu-analysis", /*Default=*/false); } return NaiveCTU.getValue(); } StringRef AnalyzerOptions::getCTUIndexName() { if (!CTUIndexName.hasValue()) CTUIndexName = getOptionAsString("ctu-index-name", "externalFnMap.txt"); return CTUIndexName.getValue(); } @ 1.1.1.9 log @Import clang r337282 from trunk @ text @d1 1 a1 1 //===- AnalyzerOptions.cpp - Analysis Engine Options ----------------------===// a18 2 #include "llvm/ADT/StringRef.h" #include "llvm/ADT/Twine.h" a19 1 #include "llvm/Support/FileSystem.h" a20 4 #include #include #include #include a57 24 AnalyzerOptions::ExplorationStrategyKind AnalyzerOptions::getExplorationStrategy() { if (ExplorationStrategy == ExplorationStrategyKind::NotSet) { StringRef StratStr = Config .insert(std::make_pair("exploration_strategy", "unexplored_first_queue")) .first->second; ExplorationStrategy = llvm::StringSwitch(StratStr) .Case("dfs", ExplorationStrategyKind::DFS) .Case("bfs", ExplorationStrategyKind::BFS) .Case("unexplored_first", ExplorationStrategyKind::UnexploredFirst) .Case("unexplored_first_queue", ExplorationStrategyKind::UnexploredFirstQueue) .Case("bfs_block_dfs_contents", ExplorationStrategyKind::BFSBlockDFSContents) .Default(ExplorationStrategyKind::NotSet); assert(ExplorationStrategy != ExplorationStrategyKind::NotSet && "User mode is invalid."); } return ExplorationStrategy; } d60 1 d172 1 a172 1 /* Default = */ true); a185 17 bool AnalyzerOptions::includeLoopExitInCFG() { return getBooleanOption(IncludeLoopExitInCFG, "cfg-loopexit", /* Default = */ false); } bool AnalyzerOptions::includeRichConstructorsInCFG() { return getBooleanOption(IncludeRichConstructorsInCFG, "cfg-rich-constructors", /* Default = */ true); } bool AnalyzerOptions::includeScopesInCFG() { return getBooleanOption(IncludeScopesInCFG, "cfg-scopes", /* Default = */ false); } d201 1 a201 1 /*Default=*/true); a215 5 bool AnalyzerOptions::mayInlineCXXTemporaryDtors() { return getBooleanOption(InlineCXXTemporaryDtors, "c++-temp-dtor-inlining", /*Default=*/true); } a246 6 bool AnalyzerOptions::shouldCrosscheckWithZ3() { return getBooleanOption(CrosscheckWithZ3, "crosscheck-with-z3", /* Default = */ false); } a259 12 bool AnalyzerOptions::shouldSerializeStats() { return getBooleanOption(SerializeStats, "serialize-stats", /* Default = */ false); } bool AnalyzerOptions::shouldElideConstructors() { return getBooleanOption(ElideConstructors, "elide-constructors", /* Default = */ true); } d297 1 a321 6 unsigned AnalyzerOptions::getMaxSymbolComplexity() { if (!MaxSymbolComplexity.hasValue()) MaxSymbolComplexity = getOptionAsInteger("max-symbol-complexity", 25); return MaxSymbolComplexity.getValue(); } a377 6 bool AnalyzerOptions::shouldUnrollLoops() { if (!UnrollLoops.hasValue()) UnrollLoops = getBooleanOption("unroll-loops", /*Default=*/false); return UnrollLoops.getValue(); } a383 31 bool AnalyzerOptions::shouldAggressivelySimplifyRelationalComparison() { if (!AggressiveRelationalComparisonSimplification.hasValue()) AggressiveRelationalComparisonSimplification = getBooleanOption("aggressive-relational-comparison-simplification", /*Default=*/false); return AggressiveRelationalComparisonSimplification.getValue(); } StringRef AnalyzerOptions::getCTUDir() { if (!CTUDir.hasValue()) { CTUDir = getOptionAsString("ctu-dir", ""); if (!llvm::sys::fs::is_directory(*CTUDir)) CTUDir = ""; } return CTUDir.getValue(); } bool AnalyzerOptions::naiveCTUEnabled() { if (!NaiveCTU.hasValue()) { NaiveCTU = getBooleanOption("experimental-enable-naive-ctu-analysis", /*Default=*/false); } return NaiveCTU.getValue(); } StringRef AnalyzerOptions::getCTUIndexName() { if (!CTUIndexName.hasValue()) CTUIndexName = getOptionAsString("ctu-index-name", "externalFnMap.txt"); return CTUIndexName.getValue(); } @ 1.1.1.10 log @Mark old LLVM instance as dead. @ text @@ 1.1.1.4.4.1 log @file AnalyzerOptions.cpp was added on branch tls-maxphys on 2014-08-19 23:47:32 +0000 @ text @d1 281 @ 1.1.1.4.4.2 log @Rebase to HEAD as of a few days ago. @ text @a0 281 //===-- AnalyzerOptions.cpp - Analysis Engine Options -----------*- C++ -*-===// // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // // This file contains special accessors for analyzer configuration options // with string representations. // //===----------------------------------------------------------------------===// #include "clang/StaticAnalyzer/Core/AnalyzerOptions.h" #include "llvm/ADT/SmallString.h" #include "llvm/ADT/StringSwitch.h" #include "llvm/Support/ErrorHandling.h" #include "llvm/Support/raw_ostream.h" using namespace clang; using namespace llvm; AnalyzerOptions::UserModeKind AnalyzerOptions::getUserMode() { if (UserMode == UMK_NotSet) { StringRef ModeStr(Config.GetOrCreateValue("mode", "deep").getValue()); UserMode = llvm::StringSwitch(ModeStr) .Case("shallow", UMK_Shallow) .Case("deep", UMK_Deep) .Default(UMK_NotSet); assert(UserMode != UMK_NotSet && "User mode is invalid."); } return UserMode; } IPAKind AnalyzerOptions::getIPAMode() { if (IPAMode == IPAK_NotSet) { // Use the User Mode to set the default IPA value. // Note, we have to add the string to the Config map for the ConfigDumper // checker to function properly. const char *DefaultIPA = nullptr; UserModeKind HighLevelMode = getUserMode(); if (HighLevelMode == UMK_Shallow) DefaultIPA = "inlining"; else if (HighLevelMode == UMK_Deep) DefaultIPA = "dynamic-bifurcate"; assert(DefaultIPA); // Lookup the ipa configuration option, use the default from User Mode. StringRef ModeStr(Config.GetOrCreateValue("ipa", DefaultIPA).getValue()); IPAKind IPAConfig = llvm::StringSwitch(ModeStr) .Case("none", IPAK_None) .Case("basic-inlining", IPAK_BasicInlining) .Case("inlining", IPAK_Inlining) .Case("dynamic", IPAK_DynamicDispatch) .Case("dynamic-bifurcate", IPAK_DynamicDispatchBifurcate) .Default(IPAK_NotSet); assert(IPAConfig != IPAK_NotSet && "IPA Mode is invalid."); // Set the member variable. IPAMode = IPAConfig; } return IPAMode; } bool AnalyzerOptions::mayInlineCXXMemberFunction(CXXInlineableMemberKind K) { if (getIPAMode() < IPAK_Inlining) return false; if (!CXXMemberInliningMode) { static const char *ModeKey = "c++-inlining"; StringRef ModeStr(Config.GetOrCreateValue(ModeKey, "destructors").getValue()); CXXInlineableMemberKind &MutableMode = const_cast(CXXMemberInliningMode); MutableMode = llvm::StringSwitch(ModeStr) .Case("constructors", CIMK_Constructors) .Case("destructors", CIMK_Destructors) .Case("none", CIMK_None) .Case("methods", CIMK_MemberFunctions) .Default(CXXInlineableMemberKind()); if (!MutableMode) { // FIXME: We should emit a warning here about an unknown inlining kind, // but the AnalyzerOptions doesn't have access to a diagnostic engine. MutableMode = CIMK_None; } } return CXXMemberInliningMode >= K; } static StringRef toString(bool b) { return b ? "true" : "false"; } bool AnalyzerOptions::getBooleanOption(StringRef Name, bool DefaultVal) { // FIXME: We should emit a warning here if the value is something other than // "true", "false", or the empty string (meaning the default value), // but the AnalyzerOptions doesn't have access to a diagnostic engine. StringRef V(Config.GetOrCreateValue(Name, toString(DefaultVal)).getValue()); return llvm::StringSwitch(V) .Case("true", true) .Case("false", false) .Default(DefaultVal); } bool AnalyzerOptions::getBooleanOption(Optional &V, StringRef Name, bool DefaultVal) { if (!V.hasValue()) V = getBooleanOption(Name, DefaultVal); return V.getValue(); } bool AnalyzerOptions::includeTemporaryDtorsInCFG() { return getBooleanOption(IncludeTemporaryDtorsInCFG, "cfg-temporary-dtors", /* Default = */ false); } bool AnalyzerOptions::mayInlineCXXStandardLibrary() { return getBooleanOption(InlineCXXStandardLibrary, "c++-stdlib-inlining", /*Default=*/true); } bool AnalyzerOptions::mayInlineTemplateFunctions() { return getBooleanOption(InlineTemplateFunctions, "c++-template-inlining", /*Default=*/true); } bool AnalyzerOptions::mayInlineCXXAllocator() { return getBooleanOption(InlineCXXAllocator, "c++-allocator-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineCXXContainerMethods() { return getBooleanOption(InlineCXXContainerMethods, "c++-container-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineCXXSharedPtrDtor() { return getBooleanOption(InlineCXXSharedPtrDtor, "c++-shared_ptr-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineObjCMethod() { return getBooleanOption(ObjCInliningMode, "objc-inlining", /* Default = */ true); } bool AnalyzerOptions::shouldSuppressNullReturnPaths() { return getBooleanOption(SuppressNullReturnPaths, "suppress-null-return-paths", /* Default = */ true); } bool AnalyzerOptions::shouldAvoidSuppressingNullArgumentPaths() { return getBooleanOption(AvoidSuppressingNullArgumentPaths, "avoid-suppressing-null-argument-paths", /* Default = */ false); } bool AnalyzerOptions::shouldSuppressInlinedDefensiveChecks() { return getBooleanOption(SuppressInlinedDefensiveChecks, "suppress-inlined-defensive-checks", /* Default = */ true); } bool AnalyzerOptions::shouldSuppressFromCXXStandardLibrary() { return getBooleanOption(SuppressFromCXXStandardLibrary, "suppress-c++-stdlib", /* Default = */ false); } bool AnalyzerOptions::shouldReportIssuesInMainSourceFile() { return getBooleanOption(ReportIssuesInMainSourceFile, "report-in-main-source-file", /* Default = */ false); } bool AnalyzerOptions::shouldWriteStableReportFilename() { return getBooleanOption(StableReportFilename, "stable-report-filename", /* Default = */ false); } int AnalyzerOptions::getOptionAsInteger(StringRef Name, int DefaultVal) { SmallString<10> StrBuf; llvm::raw_svector_ostream OS(StrBuf); OS << DefaultVal; StringRef V(Config.GetOrCreateValue(Name, OS.str()).getValue()); int Res = DefaultVal; bool b = V.getAsInteger(10, Res); assert(!b && "analyzer-config option should be numeric"); (void) b; return Res; } unsigned AnalyzerOptions::getAlwaysInlineSize() { if (!AlwaysInlineSize.hasValue()) AlwaysInlineSize = getOptionAsInteger("ipa-always-inline-size", 3); return AlwaysInlineSize.getValue(); } unsigned AnalyzerOptions::getMaxInlinableSize() { if (!MaxInlinableSize.hasValue()) { int DefaultValue = 0; UserModeKind HighLevelMode = getUserMode(); switch (HighLevelMode) { default: llvm_unreachable("Invalid mode."); case UMK_Shallow: DefaultValue = 4; break; case UMK_Deep: DefaultValue = 50; break; } MaxInlinableSize = getOptionAsInteger("max-inlinable-size", DefaultValue); } return MaxInlinableSize.getValue(); } unsigned AnalyzerOptions::getGraphTrimInterval() { if (!GraphTrimInterval.hasValue()) GraphTrimInterval = getOptionAsInteger("graph-trim-interval", 1000); return GraphTrimInterval.getValue(); } unsigned AnalyzerOptions::getMaxTimesInlineLarge() { if (!MaxTimesInlineLarge.hasValue()) MaxTimesInlineLarge = getOptionAsInteger("max-times-inline-large", 32); return MaxTimesInlineLarge.getValue(); } unsigned AnalyzerOptions::getMaxNodesPerTopLevelFunction() { if (!MaxNodesPerTopLevelFunction.hasValue()) { int DefaultValue = 0; UserModeKind HighLevelMode = getUserMode(); switch (HighLevelMode) { default: llvm_unreachable("Invalid mode."); case UMK_Shallow: DefaultValue = 75000; break; case UMK_Deep: DefaultValue = 150000; break; } MaxNodesPerTopLevelFunction = getOptionAsInteger("max-nodes", DefaultValue); } return MaxNodesPerTopLevelFunction.getValue(); } bool AnalyzerOptions::shouldSynthesizeBodies() { return getBooleanOption("faux-bodies", true); } bool AnalyzerOptions::shouldPrunePaths() { return getBooleanOption("prune-paths", true); } bool AnalyzerOptions::shouldConditionalizeStaticInitializers() { return getBooleanOption("cfg-conditional-static-initializers", true); } @ 1.1.1.2.4.1 log @file AnalyzerOptions.cpp was added on branch yamt-pagecache on 2014-05-22 16:18:31 +0000 @ text @d1 274 @ 1.1.1.2.4.2 log @sync with head. for a reference, the tree before this commit was tagged as yamt-pagecache-tag8. this commit was splitted into small chunks to avoid a limitation of cvs. ("Protocol error: too many arguments") @ text @a0 274 //===-- AnalyzerOptions.cpp - Analysis Engine Options -----------*- C++ -*-===// // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // // This file contains special accessors for analyzer configuration options // with string representations. // //===----------------------------------------------------------------------===// #include "clang/StaticAnalyzer/Core/AnalyzerOptions.h" #include "llvm/ADT/SmallString.h" #include "llvm/ADT/StringSwitch.h" #include "llvm/Support/ErrorHandling.h" #include "llvm/Support/raw_ostream.h" using namespace clang; using namespace llvm; AnalyzerOptions::UserModeKind AnalyzerOptions::getUserMode() { if (UserMode == UMK_NotSet) { StringRef ModeStr(Config.GetOrCreateValue("mode", "deep").getValue()); UserMode = llvm::StringSwitch(ModeStr) .Case("shallow", UMK_Shallow) .Case("deep", UMK_Deep) .Default(UMK_NotSet); assert(UserMode != UMK_NotSet && "User mode is invalid."); } return UserMode; } IPAKind AnalyzerOptions::getIPAMode() { if (IPAMode == IPAK_NotSet) { // Use the User Mode to set the default IPA value. // Note, we have to add the string to the Config map for the ConfigDumper // checker to function properly. const char *DefaultIPA = 0; UserModeKind HighLevelMode = getUserMode(); if (HighLevelMode == UMK_Shallow) DefaultIPA = "inlining"; else if (HighLevelMode == UMK_Deep) DefaultIPA = "dynamic-bifurcate"; assert(DefaultIPA); // Lookup the ipa configuration option, use the default from User Mode. StringRef ModeStr(Config.GetOrCreateValue("ipa", DefaultIPA).getValue()); IPAKind IPAConfig = llvm::StringSwitch(ModeStr) .Case("none", IPAK_None) .Case("basic-inlining", IPAK_BasicInlining) .Case("inlining", IPAK_Inlining) .Case("dynamic", IPAK_DynamicDispatch) .Case("dynamic-bifurcate", IPAK_DynamicDispatchBifurcate) .Default(IPAK_NotSet); assert(IPAConfig != IPAK_NotSet && "IPA Mode is invalid."); // Set the member variable. IPAMode = IPAConfig; } return IPAMode; } bool AnalyzerOptions::mayInlineCXXMemberFunction(CXXInlineableMemberKind K) { if (getIPAMode() < IPAK_Inlining) return false; if (!CXXMemberInliningMode) { static const char *ModeKey = "c++-inlining"; StringRef ModeStr(Config.GetOrCreateValue(ModeKey, "destructors").getValue()); CXXInlineableMemberKind &MutableMode = const_cast(CXXMemberInliningMode); MutableMode = llvm::StringSwitch(ModeStr) .Case("constructors", CIMK_Constructors) .Case("destructors", CIMK_Destructors) .Case("none", CIMK_None) .Case("methods", CIMK_MemberFunctions) .Default(CXXInlineableMemberKind()); if (!MutableMode) { // FIXME: We should emit a warning here about an unknown inlining kind, // but the AnalyzerOptions doesn't have access to a diagnostic engine. MutableMode = CIMK_None; } } return CXXMemberInliningMode >= K; } static StringRef toString(bool b) { return b ? "true" : "false"; } bool AnalyzerOptions::getBooleanOption(StringRef Name, bool DefaultVal) { // FIXME: We should emit a warning here if the value is something other than // "true", "false", or the empty string (meaning the default value), // but the AnalyzerOptions doesn't have access to a diagnostic engine. StringRef V(Config.GetOrCreateValue(Name, toString(DefaultVal)).getValue()); return llvm::StringSwitch(V) .Case("true", true) .Case("false", false) .Default(DefaultVal); } bool AnalyzerOptions::getBooleanOption(Optional &V, StringRef Name, bool DefaultVal) { if (!V.hasValue()) V = getBooleanOption(Name, DefaultVal); return V.getValue(); } bool AnalyzerOptions::includeTemporaryDtorsInCFG() { return getBooleanOption(IncludeTemporaryDtorsInCFG, "cfg-temporary-dtors", /* Default = */ false); } bool AnalyzerOptions::mayInlineCXXStandardLibrary() { return getBooleanOption(InlineCXXStandardLibrary, "c++-stdlib-inlining", /*Default=*/true); } bool AnalyzerOptions::mayInlineTemplateFunctions() { return getBooleanOption(InlineTemplateFunctions, "c++-template-inlining", /*Default=*/true); } bool AnalyzerOptions::mayInlineCXXAllocator() { return getBooleanOption(InlineCXXAllocator, "c++-allocator-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineCXXContainerCtorsAndDtors() { return getBooleanOption(InlineCXXContainerCtorsAndDtors, "c++-container-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineCXXSharedPtrDtor() { return getBooleanOption(InlineCXXSharedPtrDtor, "c++-shared_ptr-inlining", /*Default=*/false); } bool AnalyzerOptions::mayInlineObjCMethod() { return getBooleanOption(ObjCInliningMode, "objc-inlining", /* Default = */ true); } bool AnalyzerOptions::shouldSuppressNullReturnPaths() { return getBooleanOption(SuppressNullReturnPaths, "suppress-null-return-paths", /* Default = */ true); } bool AnalyzerOptions::shouldAvoidSuppressingNullArgumentPaths() { return getBooleanOption(AvoidSuppressingNullArgumentPaths, "avoid-suppressing-null-argument-paths", /* Default = */ false); } bool AnalyzerOptions::shouldSuppressInlinedDefensiveChecks() { return getBooleanOption(SuppressInlinedDefensiveChecks, "suppress-inlined-defensive-checks", /* Default = */ true); } bool AnalyzerOptions::shouldSuppressFromCXXStandardLibrary() { return getBooleanOption(SuppressFromCXXStandardLibrary, "suppress-c++-stdlib", /* Default = */ false); } bool AnalyzerOptions::shouldReportIssuesInMainSourceFile() { return getBooleanOption(ReportIssuesInMainSourceFile, "report-in-main-source-file", /* Default = */ false); } int AnalyzerOptions::getOptionAsInteger(StringRef Name, int DefaultVal) { SmallString<10> StrBuf; llvm::raw_svector_ostream OS(StrBuf); OS << DefaultVal; StringRef V(Config.GetOrCreateValue(Name, OS.str()).getValue()); int Res = DefaultVal; bool b = V.getAsInteger(10, Res); assert(!b && "analyzer-config option should be numeric"); (void) b; return Res; } unsigned AnalyzerOptions::getAlwaysInlineSize() { if (!AlwaysInlineSize.hasValue()) AlwaysInlineSize = getOptionAsInteger("ipa-always-inline-size", 3); return AlwaysInlineSize.getValue(); } unsigned AnalyzerOptions::getMaxInlinableSize() { if (!MaxInlinableSize.hasValue()) { int DefaultValue = 0; UserModeKind HighLevelMode = getUserMode(); switch (HighLevelMode) { default: llvm_unreachable("Invalid mode."); case UMK_Shallow: DefaultValue = 4; break; case UMK_Deep: DefaultValue = 50; break; } MaxInlinableSize = getOptionAsInteger("max-inlinable-size", DefaultValue); } return MaxInlinableSize.getValue(); } unsigned AnalyzerOptions::getGraphTrimInterval() { if (!GraphTrimInterval.hasValue()) GraphTrimInterval = getOptionAsInteger("graph-trim-interval", 1000); return GraphTrimInterval.getValue(); } unsigned AnalyzerOptions::getMaxTimesInlineLarge() { if (!MaxTimesInlineLarge.hasValue()) MaxTimesInlineLarge = getOptionAsInteger("max-times-inline-large", 32); return MaxTimesInlineLarge.getValue(); } unsigned AnalyzerOptions::getMaxNodesPerTopLevelFunction() { if (!MaxNodesPerTopLevelFunction.hasValue()) { int DefaultValue = 0; UserModeKind HighLevelMode = getUserMode(); switch (HighLevelMode) { default: llvm_unreachable("Invalid mode."); case UMK_Shallow: DefaultValue = 75000; break; case UMK_Deep: DefaultValue = 150000; break; } MaxNodesPerTopLevelFunction = getOptionAsInteger("max-nodes", DefaultValue); } return MaxNodesPerTopLevelFunction.getValue(); } bool AnalyzerOptions::shouldSynthesizeBodies() { return getBooleanOption("faux-bodies", true); } bool AnalyzerOptions::shouldPrunePaths() { return getBooleanOption("prune-paths", true); } bool AnalyzerOptions::shouldConditionalizeStaticInitializers() { return getBooleanOption("cfg-conditional-static-initializers", true); } @