fix(sema): apply sema phase to generated code

Author: JohelEGP

regression-tests/pure2-last-use.cpp2

@@ -120,6 +120,9 @@ issue_857_3: @struct type = {
   f: (move this) = _ = f_inout(i);
 }
 
+issue_869: @union type = {
+  i: int;
+}
 
 issue_884_3: () = {
   x := new<int>(0);

regression-tests/test-results/pure2-last-use.cpp

@@ -20,7 +20,11 @@ class issue_857_2;
 class issue_857_3;
 
 
-#line 164 "pure2-last-use.cpp2"
+#line 123 "pure2-last-use.cpp2"
+class issue_869;
+  
+
+#line 167 "pure2-last-use.cpp2"
 class my_string;
 
 
@@ -120,22 +124,39 @@ class issue_857_3 {
   public: auto f() && -> void;
 };
 
-#line 124 "pure2-last-use.cpp2"
+class issue_869 {
+private: std::aligned_storage_t<cpp2::max(sizeof(int))> _storage {}; private: cpp2::i8 _discriminator {-1}; public: [[nodiscard]] auto is_i() const& -> bool;
+public: [[nodiscard]] auto i() const& -> int const&;
+public: [[nodiscard]] auto i() & -> int&;
+public: auto set_i(cpp2::in<int> _value) & -> void;
+public: auto set_i(auto&& ..._args) & -> void;
+private: auto _destroy() & -> void;
+public: ~issue_869() noexcept;
+public: explicit issue_869();
+public: issue_869(issue_869 const& that);
+
+public: issue_869(issue_869&& that) noexcept;
+public: auto operator=(issue_869 const& that) -> issue_869& ;
+public: auto operator=(issue_869&& that) noexcept -> issue_869& ;
+
+#line 125 "pure2-last-use.cpp2"
+};
+
 auto issue_884_3() -> void;
 
-#line 134 "pure2-last-use.cpp2"
+#line 137 "pure2-last-use.cpp2"
 auto issue_884() -> void;
 
-#line 143 "pure2-last-use.cpp2"
+#line 146 "pure2-last-use.cpp2"
 auto issue_884_2() -> void;
 
-#line 152 "pure2-last-use.cpp2"
+#line 155 "pure2-last-use.cpp2"
 auto issue_888(std::string r, int size) -> void;
 
-#line 158 "pure2-last-use.cpp2"
+#line 161 "pure2-last-use.cpp2"
 auto draw() -> void;
 
-#line 164 "pure2-last-use.cpp2"
+#line 167 "pure2-last-use.cpp2"
 class my_string {
   public: std::string string; 
   public: std::size_t size {CPP2_UFCS(size)(string)}; 
@@ -254,7 +275,45 @@ int gi {0};
 #line 120 "pure2-last-use.cpp2"
   auto issue_857_3::f() && -> void { static_cast<void>(f_inout(std::move(*this).i));  }
 
-#line 124 "pure2-last-use.cpp2"
+
+
+  [[nodiscard]] auto issue_869::is_i() const& -> bool { return _discriminator == 0; }
+[[nodiscard]] auto issue_869::i() const& -> int const& { 
+                                           cpp2::Default.expects(is_i(), "");return *cpp2::assert_not_null(reinterpret_cast<int const*>(&_storage)); }
+[[nodiscard]] auto issue_869::i() & -> int& { 
+                                                 cpp2::Default.expects(is_i(), "");return *cpp2::assert_not_null(reinterpret_cast<int*>(&_storage)); }
+auto issue_869::set_i(cpp2::in<int> _value) & -> void{if (!(is_i())) {_destroy();std::construct_at(reinterpret_cast<int*>(&_storage), _value);}else {*cpp2::assert_not_null(reinterpret_cast<int*>(&_storage)) = _value;}_discriminator = 0;}
+auto issue_869::set_i(auto&& ..._args) & -> void{if (!(is_i())) {_destroy();std::construct_at(reinterpret_cast<int*>(&_storage), CPP2_FORWARD(_args)...);}else {*cpp2::assert_not_null(reinterpret_cast<int*>(&_storage)) = int{CPP2_FORWARD(_args)...};}_discriminator = 0;}
+auto issue_869::_destroy() & -> void{
+  if (_discriminator == 0) {std::destroy_at(reinterpret_cast<int*>(&_storage));}
+  _discriminator = -1;
+  }
+
+  issue_869::~issue_869() noexcept{CPP2_UFCS(_destroy)((*this));static_cast<void>(std::move((*this)));}
+issue_869::issue_869(){}
+issue_869::issue_869(issue_869 const& that)
+        : _storage{  }
+        , _discriminator{ -1 }{
+  if (CPP2_UFCS(is_i)(that)) {set_i(CPP2_UFCS(i)(that));}
+  }
+
+
+  issue_869::issue_869(issue_869&& that) noexcept
+        : _storage{  }
+        , _discriminator{ -1 }{
+  if (CPP2_UFCS(is_i)(std::move(that))) {set_i(CPP2_UFCS(i)(std::move(that)));}
+  }
+
+  auto issue_869::operator=(issue_869 const& that) -> issue_869& {
+  if (CPP2_UFCS(is_i)(that)) {set_i(CPP2_UFCS(i)(that));}
+        return *this;
+  }
+
+  auto issue_869::operator=(issue_869&& that) noexcept -> issue_869& {
+  if (CPP2_UFCS(is_i)(std::move(that))) {set_i(CPP2_UFCS(i)(std::move(that)));}
+        return *this;
+  }
+#line 127 "pure2-last-use.cpp2"
 auto issue_884_3() -> void{
   auto x {cpp2_new<int>(0)}; 
   if (true) {}
@@ -295,10 +354,10 @@ auto draw() -> void{
   static_cast<void>(CPP2_UFCS_MOVE(vertex)((std::move(pos))));
 }
 
-#line 169 "pure2-last-use.cpp2"
+#line 172 "pure2-last-use.cpp2"
 auto main(int const argc_, char** argv_) -> int{
   auto const args = cpp2::make_args(argc_, argv_); 
-#line 170 "pure2-last-use.cpp2"
+#line 173 "pure2-last-use.cpp2"
   issue_683(args);
   issue_847_2(std::vector<std::unique_ptr<int>>());
 }

source/reflect.h

@@ -1682,7 +1682,7 @@ std::string destroy = "    private _destroy: (inout this) = {\n";
 
     //  Add the destructor
 #line 1199 "reflect.h2"
-    CPP2_UFCS(add_member)(t, "    operator=: (move this) = { _destroy(); }");
+    CPP2_UFCS(add_member)(t, "    operator=: (move this) = { this._destroy(); _ = this; }");
 
     //  Add default constructor
     CPP2_UFCS(add_member)(t, "    operator=: (out this) = { }");

source/reflect.h2

@@ -1196,7 +1196,7 @@ union: (inout t : meta::type_declaration)
     }
 
     //  Add the destructor
-    t.add_member( "    operator=: (move this) = { _destroy(); }" );
+    t.add_member( "    operator=: (move this) = { this._destroy(); _ = this; }" );
 
     //  Add default constructor
     t.add_member( "    operator=: (out this) = { }" );

source/sema.h

@@ -76,6 +76,20 @@ struct declaration_sym {
         assert (declaration);
         return declaration->position();
     }
+
+    auto get_token() const
+        -> token const*
+    {
+        if (
+            declaration
+            && declaration->identifier
+            && declaration->identifier->identifier
+            )
+        {
+            return declaration->identifier->identifier;
+        }
+        return nullptr;
+    }
 };
 
 struct identifier_sym {
@@ -96,6 +110,12 @@ struct identifier_sym {
         assert (identifier);
         return identifier->position();
     }
+
+    auto get_token() const
+        -> token const*
+    {
+        return identifier;
+    }
 };
 
 struct selection_sym {
@@ -116,6 +136,13 @@ struct selection_sym {
         assert (selection);
         return selection->position();
     }
+
+    auto get_token() const
+        -> token const*
+    {
+        assert (selection);
+        return selection->identifier;
+    }
 };
 
 struct compound_sym {
@@ -139,6 +166,12 @@ struct compound_sym {
         assert (compound);
         return compound->position();
     }
+
+    auto get_token() const
+        -> token const*
+    {
+        return nullptr;
+    }
 };
 
 struct symbol {
@@ -189,6 +222,37 @@ struct symbol {
             return { 0, 0 };
         }
     }
+
+    auto get_token() const
+        -> token const*
+    {
+        switch (sym.index())
+        {
+        break;case declaration: {
+            auto const& s = std::get<declaration>(sym);
+            return s.get_token();
+        }
+
+        break;case identifier: {
+            auto const& s = std::get<identifier>(sym);
+            return s.get_token();
+        }
+
+        break;case selection: {
+            auto const& s = std::get<selection>(sym);
+            return s.get_token();
+        }
+
+        break;case compound: {
+            auto const& s = std::get<compound>(sym);
+            return s.get_token();
+        }
+
+        break;default:
+            assert (!"illegal symbol state");
+            return nullptr;
+        }
+    }
 };
 
 
@@ -301,7 +365,10 @@ class sema
         auto i = symbols.cbegin();
         while (
             i != symbols.cend()
-            && i->position() < t.position()
+            && (
+                !i->get_token()
+                || final_position[i->get_token()] < final_position[&t]
+                )
             )
         {
             ++i;
@@ -1672,6 +1739,7 @@ class sema
     bool inside_returns_list                      = false;
     bool just_entered_for                         = false;
     parameter_declaration_node const* inside_out_parameter = {};
+    std::map<token const*, int> final_position    = {};
 
     auto start(next_expression_tag const&, int) -> void
     {
@@ -1817,6 +1885,8 @@ class sema
 
     auto start(token const& t, int) -> void
     {
+        auto fpos = std::ssize(final_position);
+        final_position[&t] = cpp2::unsafe_narrow<int>(fpos);
         if (t.type() == lexeme::Dot) {
             started_member_access = true;
         }