aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngineInternalChecks.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-09-21 18:57:28 +0000
committerTed Kremenek <kremenek@apple.com>2008-09-21 18:57:28 +0000
commit2713347374cb37292d5b3ce548f86ad2fd8155dc (patch)
tree6eaaf8e162570f9007f723fff7251e10dda478e1 /lib/Analysis/GRExprEngineInternalChecks.cpp
parenta6aa83e5c7e0bc07af0e41308f8e39a5ecd54f83 (diff)
Built-in checks now have a category: "Logic Errors"
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56401 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngineInternalChecks.cpp')
-rw-r--r--lib/Analysis/GRExprEngineInternalChecks.cpp10
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/Analysis/GRExprEngineInternalChecks.cpp b/lib/Analysis/GRExprEngineInternalChecks.cpp
index 92c448cb2f..e7e5f45d8a 100644
--- a/lib/Analysis/GRExprEngineInternalChecks.cpp
+++ b/lib/Analysis/GRExprEngineInternalChecks.cpp
@@ -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) {