[cfe-commits] r56401 - /cfe/trunk/lib/Analysis/GRExprEngineInternalChecks.cpp

[Ted Kremenek]

Author: kremenek
Date: Sun Sep 21 13:57:28 2008
New Revision: 56401

URL: http://llvm.org/viewvc/llvm-project?rev=56401&view=rev
Log:
Built-in checks now have a category: "Logic Errors"

Modified:
    cfe/trunk/lib/Analysis/GRExprEngineInternalChecks.cpp

Modified: cfe/trunk/lib/Analysis/GRExprEngineInternalChecks.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngineInternalChecks.cpp?rev=56401&r1=56400&r2=56401&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngineInternalChecks.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngineInternalChecks.cpp Sun Sep 21 13:57:28 2008
@@ -60,6 +60,8 @@
       BR.EmitWarning(R);
     }
   }
+  
+  virtual const char* getCategory() const { return "Logic Errors"; }
 };
   
 class VISIBILITY_HIDDEN NullDeref : public BuiltinBug {
@@ -74,7 +76,7 @@
   
 class VISIBILITY_HIDDEN UndefinedDeref : public BuiltinBug {
 public:
-  UndefinedDeref() : BuiltinBug("bad dereference",
+  UndefinedDeref() : BuiltinBug("uninitialized pointer dereference",
                                 "Dereference of undefined value.") {}
   
   virtual void EmitBuiltinWarnings(BugReporter& BR, GRExprEngine& Eng) {
@@ -115,10 +117,10 @@
 
 class VISIBILITY_HIDDEN BadArg : public BuiltinBug {
 public:
-  BadArg() : BuiltinBug("bad argument",  
+  BadArg() : BuiltinBug("uninitialized argument",  
     "Pass-by-value argument in function is undefined.") {}
 
-  BadArg(const char* d) : BuiltinBug("bad argument", d) {}
+  BadArg(const char* d) : BuiltinBug("uninitialized argument", d) {}
   
   virtual void EmitBuiltinWarnings(BugReporter& BR, GRExprEngine& Eng) {
     for (GRExprEngine::UndefArgsTy::iterator I = Eng.undef_arg_begin(),
@@ -156,7 +158,7 @@
 class VISIBILITY_HIDDEN BadReceiver : public BuiltinBug {
 public:  
   BadReceiver()
-  : BuiltinBug("bad receiver",
+  : BuiltinBug("uninitialized receiver",
                "Receiver in message expression is an uninitialized value.") {}
   
   virtual void EmitBuiltinWarnings(BugReporter& BR, GRExprEngine& Eng) {