diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-03-25 16:40:05 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-03-25 16:40:05 +0000 |
| commit | dbfe41acda3078f8fe566318c0097f7ae683c6bb (patch) | |
| tree | f499f63fcd50999e677baa3191af69cf582b15ae /lib/Analysis/GRSimpleVals.cpp | |
| parent | b9308372e0d40c85cb573c4982fdf5089d89ab6d (diff) | |
GRSimple analysis now outputs additional diagnostic warnings about
passing an uninitialized value to a message expresion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48776 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRSimpleVals.cpp')
| -rw-r--r-- | lib/Analysis/GRSimpleVals.cpp | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp index 8c538c08b4..b6e6b5087f 100644 --- a/lib/Analysis/GRSimpleVals.cpp +++ b/lib/Analysis/GRSimpleVals.cpp @@ -119,7 +119,7 @@ unsigned RunGRSimpleVals(CFG& cfg, Decl& CD, ASTContext& Ctx, EmitWarning(Diag, SrcMgr, CheckerState->null_derefs_begin(), CheckerState->null_derefs_end(), - "NULL pointer is dereferenced after it is checked for NULL."); + "Dereference of NULL pointer."); EmitWarning(Diag, SrcMgr, CheckerState->undef_derefs_begin(), @@ -127,9 +127,9 @@ unsigned RunGRSimpleVals(CFG& cfg, Decl& CD, ASTContext& Ctx, "Dereference of undefined value."); EmitWarning(Diag, SrcMgr, - CheckerState->undef_derefs_begin(), - CheckerState->undef_derefs_end(), - "Dereference of undefined value."); + CheckerState->undef_branches_begin(), + CheckerState->undef_branches_end(), + "Branch condition evaluates to an uninitialized value."); EmitWarning(Diag, SrcMgr, CheckerState->explicit_bad_divides_begin(), @@ -149,12 +149,18 @@ unsigned RunGRSimpleVals(CFG& cfg, Decl& CD, ASTContext& Ctx, EmitWarning(Diag, SrcMgr, CheckerState->undef_arg_begin(), CheckerState->undef_arg_end(), - "Pass-by-value argument in function or message expression is undefined."); + "Pass-by-value argument in function is undefined."); EmitWarning(Diag, SrcMgr, - CheckerState->undef_branches_begin(), - CheckerState->undef_branches_end(), - "Branch condition evaluates to an uninitialized value."); + CheckerState->msg_expr_undef_arg_begin(), + CheckerState->msg_expr_undef_arg_end(), + "Pass-by-value argument in message expression is undefined."); + + EmitWarning(Diag, SrcMgr, + CheckerState->undef_receivers_begin(), + CheckerState->undef_receivers_end(), + "Receiver in message expression is an uninitialized value."); + #ifndef NDEBUG if (Visualize) CheckerState->ViewGraph(TrimGraph); |