|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h 51 class RegionAndSymbolInvalidationTraits;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h 81 class RegionAndSymbolInvalidationTraits;
References
tools/clang/include/clang/StaticAnalyzer/Core/Checker.h 364 RegionAndSymbolInvalidationTraits *ETraits) {
376 RegionAndSymbolInvalidationTraits::TK_PreserveContents) &&
378 RegionAndSymbolInvalidationTraits::TK_SuppressEscape))
407 RegionAndSymbolInvalidationTraits *ETraits) {
416 RegionAndSymbolInvalidationTraits::TK_PreserveContents) &&
418 RegionAndSymbolInvalidationTraits::TK_SuppressEscape))
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h 389 RegionAndSymbolInvalidationTraits *ITraits);
489 RegionAndSymbolInvalidationTraits *ITraits)>;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h 191 RegionAndSymbolInvalidationTraits *ETraits) const {}
544 RegionAndSymbolInvalidationTraits *ETraits) const override;
649 RegionAndSymbolInvalidationTraits *ETraits) const override;
839 RegionAndSymbolInvalidationTraits *ETraits) const override;
955 RegionAndSymbolInvalidationTraits *ETraits) const override;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h 628 RegionAndSymbolInvalidationTraits &ITraits) override;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 287 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
294 RegionAndSymbolInvalidationTraits *ITraits = nullptr) const;
448 RegionAndSymbolInvalidationTraits *HTraits,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h 240 RegionAndSymbolInvalidationTraits &ITraits,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h 159 RegionAndSymbolInvalidationTraits &HTraits) = 0;
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 978 RegionAndSymbolInvalidationTraits ITraits;
983 RegionAndSymbolInvalidationTraits::TK_PreserveContents);
984 ITraits.setTrait(R, RegionAndSymbolInvalidationTraits::TK_SuppressEscape);
994 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion);
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp 296 RegionAndSymbolInvalidationTraits ETraits;
311 RegionAndSymbolInvalidationTraits::TK_PreserveContents);
682 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const {
708 RegionAndSymbolInvalidationTraits::TK_PreserveContents);
862 RegionAndSymbolInvalidationTraits *ETraits) const {
898 RegionAndSymbolInvalidationTraits *ETraits) const {
903 RegionAndSymbolInvalidationTraits::TK_SuppressEscape);
945 ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const {
956 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion);
959 RegionAndSymbolInvalidationTraits::TK_SuppressEscape);
tools/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp 619 RegionAndSymbolInvalidationTraits *ETraits) {
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 2719 RegionAndSymbolInvalidationTraits &ITraits) {
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 643 RegionAndSymbolInvalidationTraits ITraits;
645 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion);
tools/clang/lib/StaticAnalyzer/Core/LoopWidening.cpp 63 RegionAndSymbolInvalidationTraits ITraits;
66 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace);
77 RegionAndSymbolInvalidationTraits::TK_PreserveContents);
90 RegionAndSymbolInvalidationTraits::TK_PreserveContents);
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp 162 RegionAndSymbolInvalidationTraits *ITraits) const {
179 RegionAndSymbolInvalidationTraits *ITraits) const {
191 RegionAndSymbolInvalidationTraits *ITraits,
200 RegionAndSymbolInvalidationTraits ITraitsLocal;
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp 431 RegionAndSymbolInvalidationTraits &ITraits,
1000 RegionAndSymbolInvalidationTraits &ITraits;
1010 RegionAndSymbolInvalidationTraits &ITraitsIn,
1036 R, RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion);
1071 RegionAndSymbolInvalidationTraits::TK_PreserveContents);
1181 RegionAndSymbolInvalidationTraits::TK_DoNotInvalidateSuperRegion);
1276 RegionAndSymbolInvalidationTraits::TK_EntireMemSpace);
1341 RegionAndSymbolInvalidationTraits &ITraits,