]> granicus.if.org Git - clang/commitdiff
Built-in checks now have a category: "Logic Errors"
authorTed Kremenek <kremenek@apple.com>
Sun, 21 Sep 2008 18:57:28 +0000 (18:57 +0000)
committerTed Kremenek <kremenek@apple.com>
Sun, 21 Sep 2008 18:57:28 +0000 (18:57 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56401 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngineInternalChecks.cpp

index 92c448cb2f4ef451fefa942c5405ece22261bd82..e7e5f45d8a6c79307d4faddbd8b8a3534c5fd036 100644 (file)
@@ -60,6 +60,8 @@ public:
       BR.EmitWarning(R);
     }
   }
+  
+  virtual const char* getCategory() const { return "Logic Errors"; }
 };
   
 class VISIBILITY_HIDDEN NullDeref : public BuiltinBug {
@@ -74,7 +76,7 @@ public:
   
 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 @@ public:
 
 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 @@ public:
 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) {