aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
diff options
context:
space:
mode:
authorCharusso <dabis.csaba98@gmail.com>2021-04-05 19:20:43 +0200
committerCharusso <dabis.csaba98@gmail.com>2021-04-05 19:20:43 +0200
commit9b3df78b4c2ab7a7063e532165492e1ffa38d401 (patch)
treeff23b7ef0e4104841132980d43146661d6b6a139 /clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
parent89d210fe1a7a1c6cbf926df0595b6f107bc491d5 (diff)
downloadllvm-9b3df78b4c2ab7a7063e532165492e1ffa38d401.zip
llvm-9b3df78b4c2ab7a7063e532165492e1ffa38d401.tar.gz
llvm-9b3df78b4c2ab7a7063e532165492e1ffa38d401.tar.bz2
[analyzer] DynamicSize: Rename 'size' to 'extent'
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
index c8b2e3d..cbb4534 100644
--- a/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
@@ -56,7 +56,7 @@
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h"
-#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicSize.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h"
using namespace clang;
using namespace clang::ento;
@@ -314,7 +314,7 @@ class StdLibraryFunctionsChecker
}();
// The dynamic size of the buffer argument, got from the analyzer engine.
- SVal BufDynSize = getDynamicSizeWithOffset(State, BufV);
+ SVal BufDynSize = getDynamicExtentWithOffset(State, BufV);
SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize,
SvalBuilder.getContext().BoolTy);