expr2ct::convert_norep now takes an irep

Daniel Kroening · Daniel Kroening · commit 3f9f4d7a05be · 2019-04-24T10:49:46.000+01:00
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -1583,7 +1583,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
`@@ -1583,7 +1583,7 @@ std::string expr2ct::convert_struct_member_value(`
`1583`	`1583`	`}`
`1584`	`1584`
`1585`	`1585`	`std::string expr2ct::convert_norep(`
`1586`		`- const exprt &src,`
	`1586`	`+ const irept &src,`
`1587`	`1587`	`unsigned &precedence)`
`1588`	`1588`	`{`
`1589`	`1589`	`lispexprt lisp;`