projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 523896f) | patch
[analyzer] DynamicSize: Remove 'getExtent()' from regions
authorCharusso <dabis.csaba98@gmail.com>
Thu, 30 Jan 2020 15:04:37 +0000 (16:04 +0100)
committerCharusso <dabis.csaba98@gmail.com>
Thu, 30 Jan 2020 15:05:18 +0000 (16:05 +0100)
commit601687bf731a33364a7de0ece7acd1c17c9dd60d
tree6fb22040844681501316e189adb31313af86c214tree | snapshot
parent523896f64a4c4b586a5fbcf676181826d2c0fbd0commit | diff
[analyzer] DynamicSize: Remove 'getExtent()' from regions

Summary:
This patch introduces a placeholder for representing the dynamic size of
regions. It also moves the `getExtent()` method of `SubRegions` to the
`MemRegionManager` as `getStaticSize()`.

Reviewed By: NoQ

Differential Revision: https://reviews.llvm.org/D69540
17 files changed:
clang/include/clang/StaticAnalyzer/Core/PathSensitive/DynamicSize.h [new file with mode: 0644] blob
clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h diff | blob | history
clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/CheckPlacementNew.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/CMakeLists.txt diff | blob | history
clang/lib/StaticAnalyzer/Core/DynamicSize.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Core/MemRegion.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/RegionStore.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/SymbolManager.cpp diff | blob | history
Domain: System / Toolchain;