expr2ct::convert_norep now takes an irep

Daniel Kroening · Daniel Kroening · commit 4499c99d4018 · 2019-02-16T16:15:18.000Z
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -1616,7 +1616,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
`@@ -1616,7 +1616,7 @@ std::string expr2ct::convert_struct_member_value(`
`1616`	`1616`	`}`
`1617`	`1617`
`1618`	`1618`	`std::string expr2ct::convert_norep(`
`1619`		`- const exprt &src,`
	`1619`	`+ const irept &src,`
`1620`	`1620`	`unsigned &precedence)`
`1621`	`1621`	`{`
`1622`	`1622`	`lispexprt lisp;`