/*@=unqualifiedtrans =nullderef -nullstate -onlytrans@*/
void
-expr_print(FILE *f, expr *e)
+expr_print(FILE *f, const expr *e)
{
static const char *regs[] = {"ax","cx","dx","bx","sp","bp","si","di"};
char opstr[3];
/*@dependent@*/ /*@null@*/ const symrec *expr_get_symrec(expr **ep,
int simplify);
-void expr_print(FILE *f, /*@null@*/ expr *);
+void expr_print(FILE *f, /*@null@*/ const expr *);
#endif
/*@=unqualifiedtrans =nullderef -nullstate -onlytrans@*/
void
-expr_print(FILE *f, expr *e)
+expr_print(FILE *f, const expr *e)
{
static const char *regs[] = {"ax","cx","dx","bx","sp","bp","si","di"};
char opstr[3];
/*@dependent@*/ /*@null@*/ const symrec *expr_get_symrec(expr **ep,
int simplify);
-void expr_print(FILE *f, /*@null@*/ expr *);
+void expr_print(FILE *f, /*@null@*/ const expr *);
#endif