Merge pull request #495 from mgudemann/fix_init_bool_values_c_typecheck

Daniel Kroening · web-flow · commit 5054730f6b51 · 2017-02-03T21:30:50.000Z
initialize Boolean values in c_typecheck_baset
diff --git a/src/ansi-c/ansi_c_typecheck.cpp b/src/ansi-c/ansi_c_typecheck.cpp
@@ -22,6 +22,7 @@ Function: ansi_c_typecheckt::typecheck
 
 void ansi_c_typecheckt::typecheck()
 {
+  start_typecheck_code();
   for(ansi_c_parse_treet::itemst::iterator
       it=parse_tree.items.begin();
       it!=parse_tree.items.end();
diff --git a/src/ansi-c/c_typecheck_code.cpp b/src/ansi-c/c_typecheck_code.cpp
@@ -14,7 +14,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
 /*******************************************************************\
 
-Function: c_typecheck_baset::init
+Function: c_typecheck_baset::start_typecheck_code
 
   Inputs:
 

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,7 @@ Function: ansi_c_typecheckt::typecheck`
`22`	`22`
`23`	`23`	`void ansi_c_typecheckt::typecheck()`
`24`	`24`	`{`
	`25`	`+ start_typecheck_code();`
`25`	`26`	`for(ansi_c_parse_treet::itemst::iterator`
`26`	`27`	`it=parse_tree.items.begin();`
`27`	`28`	`it!=parse_tree.items.end();`