]> git.ipfire.org Git - thirdparty/vala.git/commitdiff
codegen: Fix variadic constructors for compact classes and structs
authorRico Tzschichholz <ricotz@ubuntu.com>
Wed, 23 Jun 2021 08:56:01 +0000 (10:56 +0200)
committerRico Tzschichholz <ricotz@ubuntu.com>
Thu, 22 Jul 2021 08:57:33 +0000 (10:57 +0200)
Fixes https://gitlab.gnome.org/GNOME/vala/issues/1195

codegen/valaccodebasemodule.vala
codegen/valaccodemethodmodule.vala
tests/Makefile.am
tests/objects/constructor-variadic-invalid.test [moved from tests/objects/constructor-variadic.test with 100% similarity]
tests/objects/constructor-variadic.vala [new file with mode: 0644]
tests/structs/constructor-variadic.vala [new file with mode: 0644]

index 8bfb867f6e5a53348e943a014ea69433f6f0d86d..eea30654cfd09fff823dfec58f40312ec48fd8bb 100644 (file)
@@ -4896,7 +4896,8 @@ public abstract class Vala.CCodeBaseModule : CodeGenerator {
                        } else if (st != null && get_ccode_name (st) == "va_list") {
                                creation_call.add_argument (instance);
                                if (get_ccode_name (m) == "va_start") {
-                                       if (in_creation_method) {
+                                       unowned Class? parent = current_method.parent_symbol as Class;
+                                       if (in_creation_method && parent != null && !parent.is_compact) {
                                                creation_call = new CCodeFunctionCall (new CCodeIdentifier ("va_copy"));
                                                creation_call.add_argument (instance);
                                                creation_call.add_argument (new CCodeIdentifier ("_vala_va_list"));
index 1a197e11ad05b7b7cecacff9faf29c2c647c4483..459097e901384d0a11d8b220924944255b4767a2 100644 (file)
@@ -317,11 +317,6 @@ public abstract class Vala.CCodeMethodModule : CCodeStructModule {
         * with _new in visit_creation_method).
         */
        public override void visit_method (Method m) {
-               string real_name = get_ccode_real_name (m);
-               if (m is CreationMethod && m.is_variadic ()) {
-                       real_name = get_ccode_constructv_name ((CreationMethod) m);
-               }
-
                push_context (new EmitContext (m));
                push_line (m.source_reference);
 
@@ -330,8 +325,10 @@ public abstract class Vala.CCodeMethodModule : CCodeStructModule {
 
                bool profile = m.get_attribute ("Profile") != null;
 
+               string real_name = get_ccode_real_name (m);
+
                if (m is CreationMethod) {
-                       var cl = current_type_symbol as Class;
+                       unowned Class? cl =  m.parent_symbol as Class;
                        if (cl != null && !cl.is_compact) {
                                if (cl.base_class == null) {
                                        in_fundamental_creation_method = true;
@@ -339,6 +336,9 @@ public abstract class Vala.CCodeMethodModule : CCodeStructModule {
                                        in_gobject_creation_method = true;
                                }
                        }
+                       if (cl != null && !cl.is_compact && m.is_variadic ()) {
+                               real_name = get_ccode_constructv_name ((CreationMethod) m);
+                       }
                }
 
                var creturn_type = get_callable_creturn_type (m);
@@ -1257,7 +1257,12 @@ public abstract class Vala.CCodeMethodModule : CCodeStructModule {
        public override void visit_creation_method (CreationMethod m) {
                push_line (m.source_reference);
 
-               ellipses_to_valist = true;
+               unowned Class? cl =  m.parent_symbol as Class;
+               if (cl != null && !cl.is_compact) {
+                       ellipses_to_valist = true;
+               } else {
+                       ellipses_to_valist = false;
+               }
                visit_method (m);
                ellipses_to_valist = false;
 
index 38b57c5fa8ec85c8a0e3cc6abfd258091528a88a..b1742fd48ec7328f96bc7059df10d5df46abf453 100644 (file)
@@ -340,6 +340,7 @@ TESTS = \
        structs/struct-static-field-initializer.test \
        structs/struct-static-property-initializer.test \
        structs/structs.vala \
+       structs/constructor-variadic.vala \
        structs/constructor-wrong-name.test \
        structs/default-gtype.vala \
        structs/gmutex.vala \
@@ -436,7 +437,8 @@ TESTS = \
        objects/compact-class-custom-ref.vala \
        objects/constructor-abstract-public.test \
        objects/constructor-inner-error.vala \
-       objects/constructor-variadic.test \
+       objects/constructor-variadic.vala \
+       objects/constructor-variadic-invalid.test \
        objects/constructor-wrong-name.test \
        objects/constructors.vala \
        objects/destructors.vala \
diff --git a/tests/objects/constructor-variadic.vala b/tests/objects/constructor-variadic.vala
new file mode 100644 (file)
index 0000000..58a97fe
--- /dev/null
@@ -0,0 +1,35 @@
+class Foo {
+       public string s;
+
+       public Foo (string first_arg, ...) {
+               assert (first_arg == "foo");
+               va_list args = va_list ();
+               string second_arg = args.arg<string> ();
+               assert (second_arg == "bar");
+               s = first_arg + second_arg;
+       }
+}
+
+[Compact]
+class Bar {
+       public string s;
+
+       public Bar (string first_arg, ...) {
+               assert (first_arg == "bar");
+               va_list args = va_list ();
+               string second_arg = args.arg<string> ();
+               assert (second_arg == "foo");
+               s = first_arg + second_arg;
+       }
+}
+
+void main () {
+       {
+               var foo = new Foo ("foo", "bar");
+               assert (foo.s == "foobar");
+       }
+       {
+               var bar = new Bar ("bar", "foo");
+               assert (bar.s == "barfoo");
+       }
+}
diff --git a/tests/structs/constructor-variadic.vala b/tests/structs/constructor-variadic.vala
new file mode 100644 (file)
index 0000000..2602fe2
--- /dev/null
@@ -0,0 +1,18 @@
+struct Foo {
+       public string s;
+
+       public Foo (string first_arg, ...) {
+               assert (first_arg == "foo");
+               va_list args = va_list ();
+               string second_arg = args.arg<string> ();
+               assert (second_arg == "bar");
+               s = first_arg + second_arg;
+       }
+}
+
+void main () {
+       {
+               var foo = Foo ("foo", "bar");
+               assert (foo.s == "foobar");
+       }
+}