commit 1790c975e76d9cb267b78b190d2aaaf62060a4c1
author Argyrios Kyrtzidis <akyrtzi@gmail.com> Tue Jan 11 19:45:13 2011 +0000
committer Argyrios Kyrtzidis <akyrtzi@gmail.com> Tue Jan 11 19:45:13 2011 +0000
tree e38cdfcdcb7dfab153ea804c9fe67ed9c5e94d71
parent 32bd3a1e9a05f6d2ea8bb9d1d666e20d12091edb

[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores.

llvm-svn: 123261

clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp
index 13e628b..d52427b 100644
--- a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp
@@ -27,7 +27,7 @@
 public:
   ArrayBoundChecker() : BT(0) {}
   static void *getTag() { static int x = 0; return &x; }
-  void visitLocation(CheckerContext &C, const Stmt *S, SVal l);
+  void visitLocation(CheckerContext &C, const Stmt *S, SVal l, bool isLoad);
 };
 }
 
@@ -35,7 +35,8 @@
   Eng.registerCheck(new ArrayBoundChecker());
 }
 
-void ArrayBoundChecker::visitLocation(CheckerContext &C, const Stmt *S, SVal l){
+void ArrayBoundChecker::visitLocation(CheckerContext &C, const Stmt *S, SVal l,
+                                      bool isLoad) {
   // Check for out of bound array element access.
   const MemRegion *R = l.getAsRegion();
   if (!R)