Rename zero_initializer to expr_initializer in preparation of generalisation

Author: tautschnig

jbmc/src/java_bytecode/java_bytecode_convert_class.cpp

@@ -23,10 +23,10 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/arith_tools.h>
 #include <util/c_types.h>
+#include <util/expr_initializer.h>
 #include <util/namespace.h>
 #include <util/std_expr.h>
 #include <util/suffix.h>
-#include <util/zero_initializer.h>
 
 class java_bytecode_convert_classt:public messaget
 {

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -24,14 +24,14 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/arith_tools.h>
 #include <util/c_types.h>
+#include <util/expr_initializer.h>
 #include <util/ieee_float.h>
 #include <util/invariant.h>
 #include <util/namespace.h>
 #include <util/prefix.h>
 #include <util/simplify_expr.h>
 #include <util/std_expr.h>
 #include <util/string2int.h>
-#include <util/zero_initializer.h>
 
 #include <goto-programs/cfg.h>
 #include <goto-programs/class_hierarchy.h>

jbmc/src/java_bytecode/java_bytecode_typecheck_expr.cpp

@@ -12,8 +12,8 @@ Author: Daniel Kroening, [email protected]
 #include "java_bytecode_typecheck.h"
 
 #include <util/arith_tools.h>
+#include <util/expr_initializer.h>
 #include <util/unicode.h>
-#include <util/zero_initializer.h>
 
 #include "java_pointer_casts.h"
 #include "java_types.h"

jbmc/src/java_bytecode/java_object_factory.cpp

@@ -8,10 +8,10 @@ Author: Daniel Kroening, [email protected]
 
 #include "java_object_factory.h"
 
+#include <util/expr_initializer.h>
 #include <util/fresh_symbol.h>
 #include <util/nondet_bool.h>
 #include <util/pointer_offset_size.h>
-#include <util/zero_initializer.h>
 
 #include <goto-programs/class_identifier.h>
 #include <goto-programs/goto_functions.h>

jbmc/src/java_bytecode/java_string_literals.cpp

@@ -12,9 +12,9 @@ Author: Chris Smowton, [email protected]
 #include "java_utils.h"
 
 #include <util/arith_tools.h>
+#include <util/expr_initializer.h>
 #include <util/namespace.h>
 #include <util/unicode.h>
-#include <util/zero_initializer.h>
 
 #include <iomanip>
 #include <sstream>

jbmc/src/java_bytecode/remove_java_new.cpp

@@ -17,10 +17,10 @@ Author: Peter Schrammel
 #include <util/arith_tools.h>
 #include <util/c_types.h>
 #include <util/expr_cast.h>
+#include <util/expr_initializer.h>
 #include <util/fresh_symbol.h>
 #include <util/message.h>
 #include <util/pointer_offset_size.h>
-#include <util/zero_initializer.h>
 
 class remove_java_newt : public messaget
 {

src/ansi-c/c_typecheck_code.cpp

@@ -12,7 +12,7 @@ Author: Daniel Kroening, [email protected]
 #include "c_typecheck_base.h"
 
 #include <util/config.h>
-#include <util/zero_initializer.h>
+#include <util/expr_initializer.h>
 
 #include "ansi_c_declaration.h"
 

src/ansi-c/c_typecheck_initializer.cpp

@@ -14,12 +14,12 @@ Author: Daniel Kroening, [email protected]
 #include <util/arith_tools.h>
 #include <util/c_types.h>
 #include <util/cprover_prefix.h>
+#include <util/expr_initializer.h>
 #include <util/prefix.h>
 #include <util/simplify_expr.h>
 #include <util/std_types.h>
 #include <util/string_constant.h>
 #include <util/type_eq.h>
-#include <util/zero_initializer.h>
 
 #include "anonymous_member.h"
 

src/cpp/cpp_typecheck.cpp

@@ -14,9 +14,9 @@ Author: Daniel Kroening, [email protected]
 #include <algorithm>
 
 #include <util/arith_tools.h>
+#include <util/expr_initializer.h>
 #include <util/source_location.h>
 #include <util/symbol.h>
-#include <util/zero_initializer.h>
 
 #include <ansi-c/c_typecast.h>
 

src/cpp/cpp_typecheck_expr.cpp

@@ -19,8 +19,8 @@ Author: Daniel Kroening, [email protected]
 #include <util/base_type.h>
 #include <util/c_types.h>
 #include <util/config.h>
+#include <util/expr_initializer.h>
 #include <util/pointer_offset_size.h>
-#include <util/zero_initializer.h>
 
 #include <ansi-c/c_qualifiers.h>
 

src/cpp/cpp_typecheck_initializer.cpp

@@ -13,8 +13,8 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/arith_tools.h>
 #include <util/c_types.h>
+#include <util/expr_initializer.h>
 #include <util/pointer_offset_size.h>
-#include <util/zero_initializer.h>
 
 /// Initialize an object with a value
 void cpp_typecheckt::convert_initializer(symbolt &symbol)

src/goto-cc/linker_script_merge.cpp

@@ -14,10 +14,10 @@ Author: Kareem Khazem <[email protected]>, 2017
 
 #include <util/arith_tools.h>
 #include <util/c_types.h>
+#include <util/expr_initializer.h>
 #include <util/magic.h>
 #include <util/run.h>
 #include <util/tempfile.h>
-#include <util/zero_initializer.h>
 
 #include <json/json_parser.h>
 

src/goto-programs/builtin_functions.cpp

@@ -16,10 +16,10 @@ Author: Daniel Kroening, [email protected]
 #include <util/arith_tools.h>
 #include <util/c_types.h>
 #include <util/cprover_prefix.h>
+#include <util/expr_initializer.h>
 #include <util/pointer_offset_size.h>
 #include <util/rational.h>
 #include <util/rational_tools.h>
-#include <util/zero_initializer.h>
 
 #include <langapi/language_util.h>
 

src/goto-symex/symex_builtin_functions.cpp

@@ -13,11 +13,11 @@ Author: Daniel Kroening, [email protected]
 
 #include <util/arith_tools.h>
 #include <util/c_types.h>
+#include <util/expr_initializer.h>
 #include <util/invariant_utils.h>
 #include <util/pointer_offset_size.h>
 #include <util/simplify_expr.h>
 #include <util/string2int.h>
-#include <util/zero_initializer.h>
 
 inline static typet c_sizeof_type_rec(const exprt &expr)
 {

src/goto-symex/symex_start_thread.cpp

@@ -11,7 +11,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "goto_symex.h"
 
-#include <util/zero_initializer.h>
+#include <util/expr_initializer.h>
 
 void goto_symext::symex_start_thread(statet &state)
 {

src/linking/static_lifetime_init.cpp

@@ -14,11 +14,11 @@ Author: Daniel Kroening, [email protected]
 #include <util/arith_tools.h>
 #include <util/c_types.h>
 #include <util/config.h>
+#include <util/expr_initializer.h>
 #include <util/namespace.h>
 #include <util/prefix.h>
 #include <util/std_code.h>
 #include <util/std_expr.h>
-#include <util/zero_initializer.h>
 
 #include <goto-programs/goto_functions.h>
 

src/util/Makefile

@@ -11,6 +11,7 @@ SRC = arith_tools.cpp \
       dstring.cpp \
       endianness_map.cpp \
       expr.cpp \
+      expr_initializer.cpp \
       expr_util.cpp \
       file_util.cpp \
       find_macros.cpp \
@@ -98,7 +99,6 @@ SRC = arith_tools.cpp \
       xml.cpp \
       xml_expr.cpp \
       xml_irep.cpp \
-      zero_initializer.cpp \
       # Empty last line
 
 INCLUDES= -I ..

src/util/zero_initializer.cpp renamed to src/util/expr_initializer.cpp

@@ -1,15 +1,15 @@
 /*******************************************************************\
 
-Module: Zero Initialization
+Module: Expression Initialization
 
 Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
 /// \file
-/// Zero Initialization
+/// Expression Initialization
 
-#include "zero_initializer.h"
+#include "expr_initializer.h"
 
 #include "arith_tools.h"
 #include "c_types.h"

src/util/zero_initializer.h renamed to src/util/expr_initializer.h

@@ -1,16 +1,16 @@
 /*******************************************************************\
 
-Module: Zero Initialization
+Module: Expression Initialization
 
 Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
 /// \file
-/// Zero Initialization
+/// Expression Initialization
 
-#ifndef CPROVER_UTIL_ZERO_INITIALIZER_H
-#define CPROVER_UTIL_ZERO_INITIALIZER_H
+#ifndef CPROVER_UTIL_EXPR_INITIALIZER_H
+#define CPROVER_UTIL_EXPR_INITIALIZER_H
 
 #include "expr.h"
 
@@ -30,4 +30,4 @@ exprt zero_initializer(
   const source_locationt &,
   const namespacet &);
 
-#endif // CPROVER_UTIL_ZERO_INITIALIZER_H
+#endif // CPROVER_UTIL_EXPR_INITIALIZER_H