diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-09-21 18:57:28 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-09-21 18:57:28 +0000 |
commit | 2713347374cb37292d5b3ce548f86ad2fd8155dc (patch) | |
tree | 6eaaf8e162570f9007f723fff7251e10dda478e1 /lib/Analysis/GRExprEngineInternalChecks.cpp | |
parent | a6aa83e5c7e0bc07af0e41308f8e39a5ecd54f83 (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.cpp | 10 |
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) { |