expr2ct::convert_norep now takes an irep

Daniel Kroening · Daniel Kroening · commit 1c879e7b2420 · 2018-10-09T08:45:06.000+01:00
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -1663,7 +1663,7 @@ std::string expr2ct::convert_struct_member_value(
 }
 
 std::string expr2ct::convert_norep(
-  const exprt &src,
+  const irept &src,
   unsigned &precedence)
 {
   lispexprt lisp;
diff --git a/src/ansi-c/expr2c_class.h b/src/ansi-c/expr2c_class.h
@@ -247,7 +247,7 @@ class expr2ct
   virtual std::string convert_constant(const constant_exprt &src, unsigned &precedence);
   virtual std::string convert_constant_bool(bool boolean_value);
 
-  std::string convert_norep(const exprt &src, unsigned &precedence);
+  std::string convert_norep(const irept &src, unsigned &precedence);
 
   virtual std::string convert_struct(const exprt &src, unsigned &precedence);
   std::string convert_union(const exprt &src, unsigned &precedence);

Original file line number	Diff line number	Diff line change
`@@ -1663,7 +1663,7 @@ std::string expr2ct::convert_struct_member_value(`
`1663`	`1663`	`}`
`1664`	`1664`
`1665`	`1665`	`std::string expr2ct::convert_norep(`
`1666`		`- const exprt &src,`
	`1666`	`+ const irept &src,`
`1667`	`1667`	`unsigned &precedence)`
`1668`	`1668`	`{`
`1669`	`1669`	`lispexprt lisp;`