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 | 1b6997ed5e37a07ece933162efd003a99aa5ec92 (patch) | |
| tree | 9a2a443e6979d60ea13dfd0e7e7cc057648d2448 /clang | |
| parent | 80b2b16540f3edf5bf6d8d80cc608345277ab5b7 (diff) | |
| download | bcm5719-llvm-1b6997ed5e37a07ece933162efd003a99aa5ec92.tar.gz bcm5719-llvm-1b6997ed5e37a07ece933162efd003a99aa5ec92.zip | |
Built-in checks now have a category: "Logic Errors"
llvm-svn: 56401
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngineInternalChecks.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/clang/lib/Analysis/GRExprEngineInternalChecks.cpp b/clang/lib/Analysis/GRExprEngineInternalChecks.cpp index 92c448cb2f4..e7e5f45d8a6 100644 --- a/clang/lib/Analysis/GRExprEngineInternalChecks.cpp +++ b/clang/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) { |

