expr2ct::convert_norep now takes an irep

Daniel Kroening · Daniel Kroening · commit 715d67cc0348 · 2018-11-06T13:21:59.000Z
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -1661,7 +1661,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
@@ -246,7 +246,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
`@@ -1661,7 +1661,7 @@ std::string expr2ct::convert_struct_member_value(`
`1661`	`1661`	`}`
`1662`	`1662`
`1663`	`1663`	`std::string expr2ct::convert_norep(`
`1664`		`- const exprt &src,`
	`1664`	`+ const irept &src,`
`1665`	`1665`	`unsigned &precedence)`
`1666`	`1666`	`{`
`1667`	`1667`	`lispexprt lisp;`