diff options
| author | Roman Divacky <rdivacky@FreeBSD.org> | 2009-12-01 11:08:04 +0000 |
|---|---|---|
| committer | Roman Divacky <rdivacky@FreeBSD.org> | 2009-12-01 11:08:04 +0000 |
| commit | 1569ce68681d909594d64f9b056d71f5dd7563bf (patch) | |
| tree | 867cbbe32a66fd7d62dd9ce9df23a23fefdb8290 /lib/Analysis/UndefinedArraySubscriptChecker.cpp | |
| parent | f5bd02d290ff15268853e0456c130a1afa15e907 (diff) | |
Notes
Diffstat (limited to 'lib/Analysis/UndefinedArraySubscriptChecker.cpp')
| -rw-r--r-- | lib/Analysis/UndefinedArraySubscriptChecker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/UndefinedArraySubscriptChecker.cpp b/lib/Analysis/UndefinedArraySubscriptChecker.cpp index 887c7755fe45a..d6aacaf1f85ef 100644 --- a/lib/Analysis/UndefinedArraySubscriptChecker.cpp +++ b/lib/Analysis/UndefinedArraySubscriptChecker.cpp @@ -19,7 +19,7 @@ using namespace clang; namespace { -class VISIBILITY_HIDDEN UndefinedArraySubscriptChecker +class UndefinedArraySubscriptChecker : public CheckerVisitor<UndefinedArraySubscriptChecker> { BugType *BT; public: @@ -41,7 +41,7 @@ void UndefinedArraySubscriptChecker::PreVisitArraySubscriptExpr(CheckerContext &C, const ArraySubscriptExpr *A) { if (C.getState()->getSVal(A->getIdx()).isUndef()) { - if (ExplodedNode *N = C.GenerateNode(A, true)) { + if (ExplodedNode *N = C.GenerateSink()) { if (!BT) BT = new BuiltinBug("Array subscript is undefined"); |
