diff --git a/src/shared/cplusplus/CheckDeclaration.cpp b/src/shared/cplusplus/CheckDeclaration.cpp
index a0ae84fa5a7c740e7bd83a1f34a0c4925785dbb4..d38aa0eeeede6662289de8314985ea8aafc279cc 100644
--- a/src/shared/cplusplus/CheckDeclaration.cpp
+++ b/src/shared/cplusplus/CheckDeclaration.cpp
@@ -720,10 +720,6 @@ bool CheckDeclaration::visit(ObjCMethodDeclarationAST *ast)
 
     Symbol *symbol;
     if (ast->function_body) {
-        if (!semantic()->skipFunctionBodies()) {
-            semantic()->check(ast->function_body, methodTy->members());
-        }
-
         symbol = methodTy;
     } else {
         Declaration *decl = control()->newDeclaration(selector->firstToken(), methodTy->name());
@@ -742,6 +738,10 @@ bool CheckDeclaration::visit(ObjCMethodDeclarationAST *ast)
 
     _scope->enterSymbol(symbol);
 
+    if (ast->function_body && !semantic()->skipFunctionBodies()) {
+        semantic()->check(ast->function_body, methodTy->members());
+    }
+
     return false;
 }
 
diff --git a/src/shared/cplusplus/CheckDeclarator.cpp b/src/shared/cplusplus/CheckDeclarator.cpp
index 84edbd0292451864c081c22addf8284289d1cab6..8fb80549e6115e5e239ca8c8b0296ea154ce5f02 100644
--- a/src/shared/cplusplus/CheckDeclarator.cpp
+++ b/src/shared/cplusplus/CheckDeclarator.cpp
@@ -260,7 +260,9 @@ bool CheckDeclarator::visit(ObjCMethodPrototypeAST *ast)
         return false;
     }
 
-    FullySpecifiedType returnType = semantic()->check(ast->type_name, _scope);
+    FullySpecifiedType returnType;
+    if (ast->type_name && ast->type_name->type_id)
+        returnType = semantic()->check(ast->type_name->type_id, _scope);
 
     unsigned location = ast->selector->firstToken();
 
diff --git a/src/shared/cplusplus/CheckName.cpp b/src/shared/cplusplus/CheckName.cpp
index d98c9b9610dac7f3a767bb2599949acf886ae654..4105268f93f6d1c1822123dca13c9b34f47615e9 100644
--- a/src/shared/cplusplus/CheckName.cpp
+++ b/src/shared/cplusplus/CheckName.cpp
@@ -394,8 +394,8 @@ bool CheckName::visit(ObjCMessageArgumentDeclarationAST *ast)
 {
     FullySpecifiedType type;
 
-    if (ast->type_name)
-        type = semantic()->check(ast->type_name, _scope);
+    if (ast->type_name && ast->type_name->type_id)
+        type = semantic()->check(ast->type_name->type_id, _scope);
 
     if (ast->param_name) {
         accept(ast->param_name);
diff --git a/src/shared/cplusplus/CheckSpecifier.cpp b/src/shared/cplusplus/CheckSpecifier.cpp
index e35d1d193c15f081e2e5566b9b897c94360eb732..422bd7f3c4d7887864b8bd7641eb8c3bacd26325 100644
--- a/src/shared/cplusplus/CheckSpecifier.cpp
+++ b/src/shared/cplusplus/CheckSpecifier.cpp
@@ -82,19 +82,6 @@ FullySpecifiedType CheckSpecifier::check(SpecifierListAST *specifier,
     return switchFullySpecifiedType(previousType);
 }
 
-FullySpecifiedType CheckSpecifier::check(ObjCTypeNameAST *typeName,
-                                         Scope *scope,
-                                         const FullySpecifiedType &ty)
-{
-    FullySpecifiedType previousType = switchFullySpecifiedType(ty);
-    Scope *previousScope = switchScope(scope);
-
-    accept(typeName);
-
-    (void) switchScope(previousScope);
-    return switchFullySpecifiedType(previousType);
-}
-
 SpecifierListAST *CheckSpecifier::switchSpecifier(SpecifierListAST *specifier)
 {
     SpecifierListAST *previousSpecifier = _specifier;
diff --git a/src/shared/cplusplus/CheckSpecifier.h b/src/shared/cplusplus/CheckSpecifier.h
index e66b30603095dea604d78f135bed8710e022c4df..d4a1f4ed22ae9b13266caca274008b956c441a71 100644
--- a/src/shared/cplusplus/CheckSpecifier.h
+++ b/src/shared/cplusplus/CheckSpecifier.h
@@ -64,8 +64,6 @@ public:
 
     FullySpecifiedType check(SpecifierListAST *specifier, Scope *scope,
                              const FullySpecifiedType &ty = FullySpecifiedType());
-    FullySpecifiedType check(ObjCTypeNameAST *typeName, Scope *scope,
-                             const FullySpecifiedType &ty = FullySpecifiedType());
 
 protected:
     SpecifierListAST *switchSpecifier(SpecifierListAST *specifier);
diff --git a/src/shared/cplusplus/Semantic.cpp b/src/shared/cplusplus/Semantic.cpp
index 9dd1b9aca8cd24b5bc9e8254c72263aa9a88bb58..be08ebdf7afc4fabc632e85a58b57d3af41d031b 100644
--- a/src/shared/cplusplus/Semantic.cpp
+++ b/src/shared/cplusplus/Semantic.cpp
@@ -169,10 +169,6 @@ FullySpecifiedType Semantic::check(PtrOperatorListAST *ptrOperators, const Fully
 FullySpecifiedType Semantic::check(ObjCMethodPrototypeAST *methodPrototype, Scope *scope)
 { return d->checkDeclarator->check(methodPrototype, scope); }
 
-FullySpecifiedType Semantic::check(ObjCTypeNameAST *typeName, Scope *scope,
-                                   const FullySpecifiedType &type)
-{ return d->checkSpecifier->check(typeName, scope, type); }
-
 void Semantic::check(ObjCMessageArgumentDeclarationAST *arg, Scope *scope)
 { return d->checkName->check(arg, scope); }
 
diff --git a/src/shared/cplusplus/Semantic.h b/src/shared/cplusplus/Semantic.h
index 6aace93f75783029e04ed2bc794cddc9c6105eee..cc6e3454835d1f5c46c31510f36378a155dd57cc 100644
--- a/src/shared/cplusplus/Semantic.h
+++ b/src/shared/cplusplus/Semantic.h
@@ -107,9 +107,6 @@ public:
 
     const Name *check(NestedNameSpecifierListAST *name, Scope *scope);
 
-    FullySpecifiedType check(ObjCTypeNameAST *typeName, Scope *scope,
-                             const FullySpecifiedType &type = FullySpecifiedType());
-
     void check(ObjCMessageArgumentDeclarationAST *arg, Scope *scope);
 
     void checkFunctionDefinition(FunctionDefinitionAST *ast);