Deactivate internal array initializer

peterschrammel · tautschnig · commit 09518d6e3c6d · 2017-10-27T17:37:58.000+01:00
diff --git a/src/cpp/cpp_constructor.cpp b/src/cpp/cpp_constructor.cpp
@@ -47,12 +47,16 @@ codet cpp_typecheckt::cpp_constructor(
     // The purpose of the tag #array_ini is to rule out ill-formed
     // programs.
 
+    // TODO: in a program it is not allowed, but the implementation of the
+    //       copy constructor requires it...
+#if 0
     if(!operands.empty() && !operands.front().get_bool("#array_ini"))
     {
       error().source_location=source_location;
       error() << "bad array initializer" << eom;
       throw 0;
     }
+#endif
 
     assert(operands.empty() || operands.size()==1);
 

Original file line number	Diff line number	Diff line change
`@@ -47,12 +47,16 @@ codet cpp_typecheckt::cpp_constructor(`
`47`	`47`	`// The purpose of the tag #array_ini is to rule out ill-formed`
`48`	`48`	`// programs.`
`49`	`49`
	`50`	`+ // TODO: in a program it is not allowed, but the implementation of the`
	`51`	`+ // copy constructor requires it...`
	`52`	`+#if 0`
`50`	`53`	`if(!operands.empty() && !operands.front().get_bool("#array_ini"))`
`51`	`54`	`{`
`52`	`55`	`error().source_location=source_location;`
`53`	`56`	`error() << "bad array initializer" << eom;`
`54`	`57`	`throw 0;`
`55`	`58`	`}`
	`59`	`+#endif`
`56`	`60`
`57`	`61`	`assert(operands.empty() \|\| operands.size()==1);`
`58`	`62`