Add analysis of cpp2 declarations to check if deal with pointer type

Thanks to relocating pointer_declarators this change introduce deduction
of pointer types also from functions - if function or variable is defined
in cpp2 then cppfront has all information to deduce the proper type
during compilation.

Author: filipsajdak

source/cppfront.cpp

@@ -1564,6 +1564,33 @@ class cppfront
         if (!decl || !decl->declaration)
             return false;
 
+        if (auto* fun = std::get_if<declaration_node::function>(&decl->declaration->type)) {
+            if (auto* ret_id_expr = std::get_if<function_type_node::id>(&(*fun)->returns)) {
+                if (auto* unqual = std::get_if<id_expression_node::unqualified>(&(*ret_id_expr)->id)){
+                    return is_it_pointer_declaration(*unqual, deref_cnt, addr_cnt);
+                }
+            }
+        }
+
+        if (auto* obj_id_expr = std::get_if<declaration_node::object>(&decl->declaration->type)) {
+            if (auto* unqual = std::get_if<id_expression_node::unqualified>(&(*obj_id_expr)->id)){
+                return is_it_pointer_declaration(*unqual, deref_cnt, addr_cnt);
+            }
+        }
+
+        if (decl->initializer && decl->initializer->suspicious_initialization) {
+            auto init_decl = sema.get_declaration_of(*decl->initializer->suspicious_initialization, true);
+            if (init_decl && init_decl->declaration) {
+                if (auto* fun = std::get_if<declaration_node::function>(&init_decl->declaration->type)) {
+                    if (auto* ret_id_expr = std::get_if<function_type_node::id>(&(*fun)->returns)) {
+                        if (auto* unqual = std::get_if<id_expression_node::unqualified>(&(*ret_id_expr)->id)){
+                            return is_it_pointer_declaration(*unqual, deref_cnt, addr_cnt);
+                        }
+                    }
+                }
+            }
+        }
+
         if (decl->declaration->dereference) {
             auto deref = sema.get_declaration_of(*decl->declaration->dereference, true);
             assert(deref && deref->declaration);