Dredd mutate the constant int used in aggregate initialisation

[JonathanFoo0523]

Dredd mutates the the sole statement in main() in the following file:

class a {
public:
  a(int) {}
};
int main() { 
    new a[2]{4, 5}; 
}

to

if (!__dredd_enabled_mutation(13)) { new a[__dredd_replace_expr_unsigned_long_constant(2, 0)]{__dredd_replace_expr_int_constant(4, 3), __dredd_replace_expr_int_constant(5, 8)}; }

This results in compilation error:

error: no matching constructor for initialization of 'a'
note: candidate constructor not viable: requires 1 argument, but 0 were provided

[JonathanFoo0523]

I believe this problem occurs because C++ doesn't allow the use of a non-constant array size for list initialization of a type that doesn't have a zero-argument constructor. If we modify class a to become:

class a {
public:
  a(int) {}
  a() {}
};

then the dredd-mutated program will compile.

I think checking whether a type used for list initialization has a zero-argument constructor is non-trivial, so I will avoid mutating the array size regardless of the type.