Add test for generating code in enclosing namespace

Author: hsutter

regression-tests/pure2-function-body-reflection.cpp2

@@ -1,7 +1,7 @@
 
-xyzzy: namespace = {
+ns: namespace = {
 
-// This function will be visible as a namespace member while reflecting on xyzzy::test
+// This function will be visible as a namespace member while reflecting on ns::test
 sample_function_before_type: () = { }
 
 test: @sample_traverser type =
@@ -75,9 +75,11 @@ test: @sample_traverser type =
     }
 }
 
-// This function will not be visible as a namespace member while reflecting on xyzzy::test
+// This function will not be visible as a namespace member while reflecting on ns::test
 sample_function_after_type: () = { }
 
 }
 
-main: () = { }
+main: () = {
+    std::cout << "calling generated function ns::add_1... ns::add_1(42) returned (ns::add_1(42))$\n";
+}

regression-tests/pure2-initialization-safety-with-else-if.cpp2

@@ -25,12 +25,12 @@ main: (args) = {
 }
 
 ad_test: type = {
-  intermediate_default_no_init: (x: double, y: double) -> (r: double) = {
-    t: double;
-    t = x + y;
+    intermediate_default_no_init: (x: double, y: double) -> (r: double) = {
+        t: double;
+        t = x + y;
 
-    r = t;              // OK, after t but it's a return value
-  }
+        r = t;              // OK, after t but it's a return value
+    }
 }
 
 ok: () = {

regression-tests/test-results/clang-12-c++20/pure2-function-body-reflection.cpp.execution

@@ -0,0 +1 @@
+calling generated function ns::add_1... ns::add_1(42) returned 43

regression-tests/test-results/gcc-10-c++20/pure2-function-body-reflection.cpp.execution

@@ -0,0 +1 @@
+calling generated function ns::add_1... ns::add_1(42) returned 43

regression-tests/test-results/gcc-14-c++2b/pure2-function-body-reflection.cpp.execution

@@ -0,0 +1 @@
+calling generated function ns::add_1... ns::add_1(42) returned 43

regression-tests/test-results/msvc-2022-c++latest/pure2-function-body-reflection.cpp.execution

@@ -0,0 +1 @@
+calling generated function ns::add_1... ns::add_1(42) returned 43

regression-tests/test-results/pure2-function-body-reflection.cpp

@@ -9,7 +9,7 @@
 #line 1 "pure2-function-body-reflection.cpp2"
 
 #line 2 "pure2-function-body-reflection.cpp2"
-namespace xyzzy {
+namespace ns {
 
 #line 7 "pure2-function-body-reflection.cpp2"
 class test;
@@ -23,11 +23,14 @@ class test;
 #line 1 "pure2-function-body-reflection.cpp2"
 
 #line 2 "pure2-function-body-reflection.cpp2"
-namespace xyzzy {
+namespace ns {
 
-// This function will be visible as a namespace member while reflecting on xyzzy::test
+// This function will be visible as a namespace member while reflecting on ns::test
 auto sample_function_before_type() -> void;
+[[nodiscard]] auto add_1(auto const& x) -> decltype(auto);
 
+
+#line 7 "pure2-function-body-reflection.cpp2"
 class test
  {
     public: [[nodiscard]] static auto one_liner(cpp2::impl::in<double> a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> decltype(auto);
@@ -65,7 +68,7 @@ using branches_ret = double;
 #line 76 "pure2-function-body-reflection.cpp2"
 };
 
-// This function will not be visible as a namespace member while reflecting on xyzzy::test
+// This function will not be visible as a namespace member while reflecting on ns::test
 auto sample_function_after_type() -> void;
 
 }
@@ -77,11 +80,13 @@ auto main() -> int;
 #line 1 "pure2-function-body-reflection.cpp2"
 
 #line 2 "pure2-function-body-reflection.cpp2"
-namespace xyzzy {
+namespace ns {
 
 #line 5 "pure2-function-body-reflection.cpp2"
 auto sample_function_before_type() -> void{}
 
+[[nodiscard]] auto add_1(auto const& x) -> decltype(auto) { return x + 1; }
+
 #line 9 "pure2-function-body-reflection.cpp2"
     [[nodiscard]] auto test::one_liner(cpp2::impl::in<double> a, cpp2::impl::in<double> b, cpp2::impl::in<double> c) -> decltype(auto) { return (a + c) * b;  }
 
@@ -170,5 +175,7 @@ auto sample_function_after_type() -> void{}
 }
 
 #line 83 "pure2-function-body-reflection.cpp2"
-auto main() -> int{}
+auto main() -> int{
+    std::cout << "calling generated function ns::add_1... ns::add_1(42) returned " + cpp2::to_string(ns::add_1(42)) + "\n";
+}
 

regression-tests/test-results/pure2-function-body-reflection.cpp2.output

@@ -1,5 +1,5 @@
 pure2-function-body-reflection.cpp2...Type: test
-  is a member of namespace xyzzy which contains the following names:
+  is a member of namespace ns which contains the following names:
     sample_function_before_type
   Declaration: one_liner
       Function: one_liner

regression-tests/test-results/pure2-initialization-safety-with-else-if.cpp

@@ -10,7 +10,7 @@
 
 #line 27 "pure2-initialization-safety-with-else-if.cpp2"
 class ad_test;
-  
+    
 
 //=== Cpp2 type definitions and function declarations ===========================
 
@@ -22,10 +22,10 @@ class ad_test {
 using intermediate_default_no_init_ret = double;
 
 #line 28 "pure2-initialization-safety-with-else-if.cpp2"
-  public: [[nodiscard]] static auto intermediate_default_no_init(cpp2::impl::in<double> x, cpp2::impl::in<double> y) -> intermediate_default_no_init_ret;
-  public: ad_test() = default;
-  public: ad_test(ad_test const&) = delete; /* No 'that' constructor, suppress copy */
-  public: auto operator=(ad_test const&) -> void = delete;
+    public: [[nodiscard]] static auto intermediate_default_no_init(cpp2::impl::in<double> x, cpp2::impl::in<double> y) -> intermediate_default_no_init_ret;
+    public: ad_test() = default;
+    public: ad_test(ad_test const&) = delete; /* No 'that' constructor, suppress copy */
+    public: auto operator=(ad_test const&) -> void = delete;
 
 
 #line 34 "pure2-initialization-safety-with-else-if.cpp2"
@@ -65,14 +65,14 @@ auto main(int const argc_, char** argv_) -> int{
 }
 
 #line 28 "pure2-initialization-safety-with-else-if.cpp2"
-  [[nodiscard]] auto ad_test::intermediate_default_no_init(cpp2::impl::in<double> x, cpp2::impl::in<double> y) -> intermediate_default_no_init_ret{
-        cpp2::impl::deferred_init<double> r;
+    [[nodiscard]] auto ad_test::intermediate_default_no_init(cpp2::impl::in<double> x, cpp2::impl::in<double> y) -> intermediate_default_no_init_ret{
+            cpp2::impl::deferred_init<double> r;
 #line 29 "pure2-initialization-safety-with-else-if.cpp2"
-    cpp2::impl::deferred_init<double> t; 
-    t.construct(x + y);
+        cpp2::impl::deferred_init<double> t; 
+        t.construct(x + y);
 
-    r.construct(cpp2::move(t.value()));// OK, after t but it's a return value
-  return std::move(r.value()); }
+        r.construct(cpp2::move(t.value()));// OK, after t but it's a return value
+    return std::move(r.value()); }
 
 #line 36 "pure2-initialization-safety-with-else-if.cpp2"
 auto ok() -> void{

regression-tests/test-results/version

@@ -1,4 +1,4 @@
 
-cppfront compiler v0.8.2 Build A812:1040
+cppfront compiler v0.8.2 Build A815:1039
 SPDX-License-Identifier  Apache-2.0 WITH LLVM-exception
 Copyright (c) 2022-2025  Herb Sutter