Implemented one of the checks requested in PR 2600:

"Method accepting NSError** argument should have non-void return value to indicate that an error occurred."

Test case written, but the header needs to be delta-debugged reduced.  Will commit shortly.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56297 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 72 insertions, 0 deletions

diff --git a/lib/Analysis/CheckNSError.cpp b/lib/Analysis/CheckNSError.cpp
new file mode 100644
index 0000000000..26386bc2bb
--- /dev/null
+++ b/lib/Analysis/CheckNSError.cpp
@@ -0,0 +1,72 @@
+//=- CheckNSError.cpp - Coding conventions for uses of NSError ---*- C++ -*-==//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+//  This file defines a CheckNSError, a flow-insenstive check
+//  that determines if an Objective-C class interface correctly returns
+//  a non-void return type.
+//
+//  File under feature request PR 2600.
+//
+//===----------------------------------------------------------------------===//
+
+#include "clang/Analysis/LocalCheckers.h"
+#include "clang/Analysis/PathSensitive/BugReporter.h"
+#include "clang/AST/DeclObjC.h"
+#include "clang/AST/Type.h"
+#include "clang/AST/ASTContext.h"
+
+using namespace clang;
+
+void clang::CheckNSError(ObjCImplementationDecl* ID, BugReporter& BR) {
+  // Look at the @interface for this class.
+  ObjCInterfaceDecl* D = ID->getClassInterface();
+  
+  // Get the ASTContext.  Useful for querying type information.
+  ASTContext &Ctx = BR.getContext();
+  
+  // Get the IdentifierInfo* for "NSError".
+  IdentifierInfo* NSErrorII = &Ctx.Idents.get("NSError");
+
+  // Scan the methods.  See if any of them have an argument of type NSError**.  
+  for (ObjCInterfaceDecl::instmeth_iterator I=D->instmeth_begin(),
+        E=D->instmeth_end(); I!=E; ++I) {
+
+    // Get the method declaration.
+    ObjCMethodDecl* M = *I;
+    
+    // Check for a non-void return type.
+    if (M->getResultType() != Ctx.VoidTy)
+      continue;
+
+    for (ObjCMethodDecl::param_iterator PI=M->param_begin(), 
+         PE=M->param_end(); PI!=PE; ++PI) {
+      
+      const PointerType* PPT = (*PI)->getType()->getAsPointerType();
+      if (!PPT) continue;
+      
+      const PointerType* PT = PPT->getPointeeType()->getAsPointerType();
+      if (!PT) continue;
+      
+      const ObjCInterfaceType *IT =
+        PT->getPointeeType()->getAsObjCInterfaceType();
+      
+      if (!IT) continue;
+      
+      // Check if IT is "NSError".
+      if (IT->getDecl()->getIdentifier() == NSErrorII) {
+        // Documentation: "Creating and Returning NSError Objects"
+        BR.EmitBasicReport("Bad return type when passing NSError**",
+         "Method accepting NSError** argument should have "
+         "non-void return value to indicate that an error occurred.",
+         M->getLocStart());
+        break;
+      }
+    }
+  }
+}