NULL_is_zero from/to symbol_table

kroening · kroening · commit 5952f6aeb7c2 · 2014-02-23T15:58:03.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3616 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/ansi-c/ansi_c_internal_additions.cpp b/src/ansi-c/ansi_c_internal_additions.cpp
@@ -300,4 +300,5 @@ void ansi_c_architecture_strings(std::string &code)
   code+=architecture_string(config.ansi_c.long_double_width, "long_double_width");
   code+=architecture_string(config.ansi_c.wchar_t_width, "wchar_t_width");
   code+=architecture_string(config.ansi_c.endianness, "endianness");
+  code+=architecture_string(config.ansi_c.NULL_is_zero, "NULL_is_zero");
 }
diff --git a/src/util/config.cpp b/src/util/config.cpp
@@ -1048,6 +1048,9 @@ void configt::ansi_ct::set_from_symbol_table(const symbol_tablet &symbol_table)
 
   //memory_operand_size=from_ns(ns, "memory_operand_size");
   memory_operand_size=int_width/8;
+  
+  //NULL_is_zero=from_ns("NULL_is_zero");
+  NULL_is_zero=true;
 }
 
 /*******************************************************************\

Original file line number	Diff line number	Diff line change
`@@ -300,4 +300,5 @@ void ansi_c_architecture_strings(std::string &code)`
`300`	`300`	`code+=architecture_string(config.ansi_c.long_double_width, "long_double_width");`
`301`	`301`	`code+=architecture_string(config.ansi_c.wchar_t_width, "wchar_t_width");`
`302`	`302`	`code+=architecture_string(config.ansi_c.endianness, "endianness");`
	`303`	`+ code+=architecture_string(config.ansi_c.NULL_is_zero, "NULL_is_zero");`
`303`	`304`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1048,6 +1048,9 @@ void configt::ansi_ct::set_from_symbol_table(const symbol_tablet &symbol_table)`
`1048`	`1048`
`1049`	`1049`	`//memory_operand_size=from_ns(ns, "memory_operand_size");`
`1050`	`1050`	`memory_operand_size=int_width/8;`
	`1051`	`+`
	`1052`	`+ //NULL_is_zero=from_ns("NULL_is_zero");`
	`1053`	`+ NULL_is_zero=true;`
`1051`	`1054`	`}`
`1052`	`1055`
`1053`	`1056`	`/*******************************************************************\`