commit e73571b9cccdf0e3e07ab551e0cea6356047458a
author Ted Kremenek <kremenek@apple.com> Thu Dec 23 02:42:43 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Dec 23 02:42:43 2010 +0000
tree b7b609f2c8d30e10ae740396cf465c48190d0a78
parent 0dfe4b7a46d6575ee0b67ce91a70fc257167a82a

Add WIP prototype of a new buffer overflow
checker based on using raw (symbolic) byte offsets
from a base region.

llvm-svn: 122469

clang/lib/GR/Checkers/AnalysisConsumer.cpp

diff --git a/clang/lib/GR/Checkers/AnalysisConsumer.cpp b/clang/lib/GR/Checkers/AnalysisConsumer.cpp
index 1ebe530..28a260c 100644
--- a/clang/lib/GR/Checkers/AnalysisConsumer.cpp
+++ b/clang/lib/GR/Checkers/AnalysisConsumer.cpp
@@ -354,6 +354,9 @@
   if (C.Opts.IdempotentOps || C.Opts.EnableExperimentalChecks
       || C.Opts.EnableExperimentalInternalChecks)
     RegisterIdempotentOperationChecker(Eng);
+  
+  if (C.Opts.BufferOverflows)
+    RegisterArrayBoundCheckerV2(Eng);
 
   // Enable AnalyzerStatsChecker if it was given as an argument
   if (C.Opts.AnalyzerStats)