r221163 - This patch reverts r220496 which issues warning on comparing

[Fariborz Jahanian]

Author: fjahanian
Date: Mon Nov  3 11:03:07 2014
New Revision: 221163

URL: http://llvm.org/viewvc/llvm-project?rev=221163&view=rev
Log:
This patch reverts r220496 which issues warning on comparing 
parameters with nonnull attribute when comparison is always
true/false. Patch causes false positive when parameter is
modified in the function.

Modified:
    cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td
    cfe/trunk/lib/Sema/SemaChecking.cpp
    cfe/trunk/test/Sema/nonnull.c

Modified: cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td?rev=221163&r1=221162&r2=221163&view=diff
==============================================================================
--- cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td (original)
+++ cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td Mon Nov  3 11:03:07 2014
@@ -2507,10 +2507,6 @@ def warn_impcast_pointer_to_bool : Warni
     "address of%select{| function| array}0 '%1' will always evaluate to "
     "'true'">,
     InGroup<PointerBoolConversion>;
-def warn_cast_nonnull_to_bool : Warning<
-    "nonnull parameter '%0' will always evaluate to "
-    "'true'">,
-    InGroup<PointerBoolConversion>;
 def warn_this_bool_conversion : Warning<
   "'this' pointer cannot be null in well-defined C++ code; pointer may be "
   "assumed to always convert to true">, InGroup<UndefinedBoolConversion>;
@@ -2523,10 +2519,6 @@ def warn_null_pointer_compare : Warning<
     "comparison of %select{address of|function|array}0 '%1' %select{not |}2"
     "equal to a null pointer is always %select{true|false}2">,
     InGroup<TautologicalPointerCompare>;
-def warn_nonnull_parameter_compare : Warning<
-    "comparison of nonnull parameter '%0' %select{not |}1"
-    "equal to a null pointer is always %select{true|false}1">,
-    InGroup<TautologicalPointerCompare>;
 def warn_this_null_compare : Warning<
   "'this' pointer cannot be null in well-defined C++ code; comparison may be "
   "assumed to always evaluate to %select{true|false}0">,

Modified: cfe/trunk/lib/Sema/SemaChecking.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaChecking.cpp?rev=221163&r1=221162&r2=221163&view=diff
==============================================================================
--- cfe/trunk/lib/Sema/SemaChecking.cpp (original)
+++ cfe/trunk/lib/Sema/SemaChecking.cpp Mon Nov  3 11:03:07 2014
@@ -6678,37 +6678,7 @@ void Sema::DiagnoseAlwaysNonNullPointer(
   // Weak Decls can be null.
   if (!D || D->isWeak())
     return;
-  // Check for parameter decl with nonnull attribute
-  if (ParmVarDecl* PV = dyn_cast<ParmVarDecl>(D)) {
-    if (FunctionDecl* FD = dyn_cast<FunctionDecl>(PV->getDeclContext())) {
-      unsigned NumArgs = FD->getNumParams();
-      llvm::SmallBitVector AttrNonNull(NumArgs);
-      for (const auto *NonNull : FD->specific_attrs<NonNullAttr>()) {
-        if (!NonNull->args_size()) {
-          AttrNonNull.set(0, NumArgs);
-          break;
-        }
-        for (unsigned Val : NonNull->args()) {
-          if (Val >= NumArgs)
-            continue;
-          AttrNonNull.set(Val);
-        }
-      }
-      if (!AttrNonNull.empty())
-        for (unsigned i = 0; i < NumArgs; ++i)
-          if (FD->getParamDecl(i) == PV && AttrNonNull[i]) {
-            std::string Str;
-            llvm::raw_string_ostream S(Str);
-            E->printPretty(S, nullptr, getPrintingPolicy());
-            unsigned DiagID = IsCompare ? diag::warn_nonnull_parameter_compare
-                                        : diag::warn_cast_nonnull_to_bool;
-            Diag(E->getExprLoc(), DiagID) << S.str() << E->getSourceRange()
-              << Range << IsEqual;
-            return;
-          }
-    }
-  }
-  
+    
   QualType T = D->getType();
   const bool IsArray = T->isArrayType();
   const bool IsFunction = T->isFunctionType();

Modified: cfe/trunk/test/Sema/nonnull.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/nonnull.c?rev=221163&r1=221162&r2=221163&view=diff
==============================================================================
--- cfe/trunk/test/Sema/nonnull.c (original)
+++ cfe/trunk/test/Sema/nonnull.c Mon Nov  3 11:03:07 2014
@@ -83,28 +83,3 @@ void redecl_test(void *p) {
   redecl(p, 0); // expected-warning{{null passed}}
   redecl(0, p); // expected-warning{{null passed}}
 }
-
-// rdar://18712242
-#define NULL (void*)0
-__attribute__((__nonnull__))
-int evil_nonnull_func(int* pointer, void * pv)
-{
-   if (pointer == NULL) {  // expected-warning {{comparison of nonnull parameter 'pointer' equal to a null pointer is always false}}
-     return 0;
-   } else {
-     return *pointer;
-   } 
-
-   if (pv == NULL) {} // expected-warning {{comparison of nonnull parameter 'pv' equal to a null pointer is always false}}
-}
-
-int another_evil_nonnull_func(int* pointer, char ch, void * pv) __attribute__((nonnull(1, 3)));
-int another_evil_nonnull_func(int* pointer, char ch, void * pv) {
-   if (pointer == NULL) { // expected-warning {{comparison of nonnull parameter 'pointer' equal to a null pointer is always false}}
-     return 0;
-   } else {
-     return *pointer;
-   } 
-
-   if (pv == NULL) {} // expected-warning {{comparison of nonnull parameter 'pv' equal to a null pointer is always false}}
-}