expr2ct::convert_norep now takes an irep

Daniel Kroening · Daniel Kroening · commit 0d2216005c45 · 2019-02-09T22:07:46.000Z
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -1614,7 +1614,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
@@ -248,7 +248,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
`@@ -1614,7 +1614,7 @@ std::string expr2ct::convert_struct_member_value(`
`1614`	`1614`	`}`
`1615`	`1615`
`1616`	`1616`	`std::string expr2ct::convert_norep(`
`1617`		`- const exprt &src,`
	`1617`	`+ const irept &src,`
`1618`	`1618`	`unsigned &precedence)`
`1619`	`1619`	`{`
`1620`	`1620`	`lispexprt lisp;`