projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
doc: fix typo
[platform/upstream/isl.git]
/
isl_printer.c
diff --git
a/isl_printer.c
b/isl_printer.c
index
322244a
..
e0821f2
100644
(file)
--- a/
isl_printer.c
+++ b/
isl_printer.c
@@
-163,15
+163,13
@@
static __isl_give isl_printer *str_print_isl_int(__isl_take isl_printer *p,
{
char *s;
int len;
{
char *s;
int len;
- isl_int_print_gmp_free_t gmp_free;
s = isl_int_get_str(i);
len = strlen(s);
if (len < p->width)
p = str_print_indent(p, p->width - len);
p = str_print(p, s, len);
s = isl_int_get_str(i);
len = strlen(s);
if (len < p->width)
p = str_print_indent(p, p->width - len);
p = str_print(p, s, len);
- mp_get_memory_functions(NULL, NULL, &gmp_free);
- (*gmp_free)(s, len + 1);
+ isl_int_free_str(s);
return p;
}
return p;
}
@@
-362,6
+360,8
@@
__isl_give isl_printer *isl_printer_print_str(__isl_take isl_printer *p,
{
if (!p)
return NULL;
{
if (!p)
return NULL;
+ if (!s)
+ return isl_printer_free(p);
return p->ops->print_str(p, s);
}
return p->ops->print_str(p, s);
}