Add support of multi-level pointers

Author: filipsajdak

regression-tests/test-results/mixed-lifetime-safety-and-null-contracts.cpp

@@ -15,7 +15,7 @@ auto null_from_cpp1() -> int* { return nullptr; }
 
 auto try_pointer_stuff() -> void;
 #line 21 "mixed-lifetime-safety-and-null-contracts.cpp2"
-auto call_my_framework(cpp2::in<const char *> msg) -> void;
+auto call_my_framework(cpp2::in<const char*> msg) -> void;
 
 //=== Cpp2 definitions ==========================================================
 
@@ -29,12 +29,12 @@ auto call_my_framework(cpp2::in<const char *> msg) -> void;
 #line 14 "mixed-lifetime-safety-and-null-contracts.cpp2"
 
 auto try_pointer_stuff() -> void{
-    int* p { null_from_cpp1() }; 
+    int * p { null_from_cpp1() }; 
     *p = 42;    // deliberate null dereference
                 // to show -n
 }
 
-auto call_my_framework(cpp2::in<const char *> msg) -> void { 
+auto call_my_framework(cpp2::in<const char*> msg) -> void { 
     std::cout 
         << "sending error to my framework... [" 
         << msg << "]\n"; }

regression-tests/test-results/mixed-lifetime-safety-pointer-init-3.cpp2.output

@@ -1,4 +1,2 @@
-mixed-lifetime-safety-pointer-init-3.cpp2...
-mixed-lifetime-safety-pointer-init-3.cpp2(11,11): error: = - pointer assignment from null or integer is illegal
-  ==> program violates lifetime safety guarantee - see previous errors
+mixed-lifetime-safety-pointer-init-3.cpp2... ok (mixed Cpp1/Cpp2, Cpp2 code passes safety checks)
 

regression-tests/test-results/mixed-type-safety-1.cpp

@@ -44,7 +44,7 @@ auto print(cpp2::in<std::string> msg, cpp2::in<bool> b) -> void
     print( "1   is int? ", cpp2::is<int>(1));
 
     auto c { cpp2_new<Circle>() }; // safe by construction
-    Shape* s { CPP2_UFCS_0(get, c) }; // safe by Lifetime
+    Shape * s { CPP2_UFCS_0(get, c) }; // safe by Lifetime
     print("\ns* is Shape?  ", cpp2::is<Shape>(*s));
     print(  "s* is Circle? ", cpp2::is<Circle>(*s));
     print(  "s* is Square? ", cpp2::is<Square>(*s));

source/cppfront.cpp

@@ -1071,6 +1071,10 @@ class cppfront
         assert(n.identifier);
         emit(*n.identifier);
 
+        for (auto _ : n.pointer_declarators) {
+            printer.print_cpp2("*", n.position());
+        }
+
         if (!n.template_args.empty()) {
             printer.print_cpp2("<", n.open_angle);
             auto first = true;
@@ -1572,9 +1576,9 @@ class cppfront
                 auto& unqual = std::get<id_expression_node::unqualified>(id->id);
                 assert(unqual);
                 auto decl = sema.get_declaration_of(*unqual->identifier);
-                //  TODO: Generalize this -- for now we detect only cases of the form "p: *int = ...;"
-                //        We don't recognize pointer types that are deduced, multi-level, or from Cpp1
-                if (decl && decl->declaration && decl->declaration->pointer_declarator) {
+                //  TODO: Generalize this -- for now we detect only multi-level cases of the form "p: ***int = ...;"
+                //        We don't recognize pointer types that are deduced or from Cpp1
+                if (!unqual->pointer_declarators.empty()) {
                     if (n.ops.empty()) {
                         last_postfix_expr_was_pointer = true;
                     }
@@ -2155,10 +2159,6 @@ class cppfront
         }
         else {
             emit( id_expr );
-            if (n.declaration->pointer_declarator) {
-                printer.print_cpp2(" ", n.declaration->pointer_declarator->position());
-                emit(*n.declaration->pointer_declarator);
-            }
         }
 
         //  Then any suffix
@@ -2538,9 +2538,6 @@ class cppfront
                 }
                 printer.preempt_position(n.position());
                 emit( *type );
-                if (n.pointer_declarator) {
-                    printer.print_cpp2("*", n.position());
-                }
                 //  one pointer is enough for now, pointer-to-function fun can be later
                 if (!n.initializer) {
                     printer.print_cpp2( ">", n.position() );

source/parse.h

@@ -364,6 +364,7 @@ struct unqualified_id_node
 {
     token const* const_qualifier = {};  // optional
     token const* identifier      = {};  // required
+    std::vector<token const*> pointer_declarators = {}; // optional
 
     enum active { empty=0, expression, id_expression };
 
@@ -846,8 +847,6 @@ struct declaration_node
     source_position pos;
     std::unique_ptr<unqualified_id_node> identifier;
 
-    token const* pointer_declarator = nullptr;
-
     enum active { function, object };
     std::variant<
         std::unique_ptr<function_type_node>,
@@ -1771,13 +1770,19 @@ class parser
     {
         //  Handle the identifier
         if (curr().type() != lexeme::Identifier &&
-            curr().type() != lexeme::Keyword)   // 'const', and fundamental types that are keywords
+            curr().type() != lexeme::Keyword && // 'const', and fundamental types that are keywords
+            curr().type() != lexeme::Multiply ) // pointer declarators
         {
             return {};
         }
 
         auto n = std::make_unique<unqualified_id_node>();
 
+        while (curr().type() == lexeme::Multiply) {
+            n->pointer_declarators.push_back(&curr());
+            next();
+        }
+
         if (curr().type() == lexeme::Keyword && curr() == "const") {
             n->const_qualifier = &curr();
             next();
@@ -2809,17 +2814,6 @@ class parser
             n->type = std::move(t);
             assert (n->type.index() == declaration_node::function);
         }
-
-        //  Or a pointer to a type, declaring a pointer object
-        else if (curr().type() == lexeme::Multiply) {
-            n->pointer_declarator = &curr();
-            next();
-            if (auto t = id_expression()) {
-                n->type = std::move(t);
-                assert (n->type.index() == declaration_node::object);
-            }
-        }
-
         //  Or just a type, declaring a non-pointer object
         else if (auto t = id_expression()) {
             n->type = std::move(t);
@@ -2866,7 +2860,7 @@ class parser
             n->equal_sign = curr().position();
             next();
 
-            if (n->pointer_declarator) {
+            if (n->identifier && !n->identifier->pointer_declarators.empty()) {
                 if (curr() == "nullptr" ||
                     isdigit(std::string_view(curr())[0]) ||
                     (curr() == "(" && peek(1) && *peek(1) == ")")