projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
isl_basic_set_opt: avoid invalid access on error path
[platform/upstream/isl.git]
/
closure.c
diff --git
a/closure.c
b/closure.c
index
05093a0
..
a0faa15
100644
(file)
--- a/
closure.c
+++ b/
closure.c
@@
-1,5
+1,6
@@
#include <assert.h>
#include <assert.h>
-#include <isl_map.h>
+#include <isl/map.h>
+#include <isl/options.h>
int main(int argc, char **argv)
{
int main(int argc, char **argv)
{
@@
-12,9
+13,9
@@
int main(int argc, char **argv)
assert(options);
argc = isl_options_parse(options, argc, argv, ISL_ARG_ALL);
assert(options);
argc = isl_options_parse(options, argc, argv, ISL_ARG_ALL);
- ctx = isl_ctx_alloc_with_options(options);
+ ctx = isl_ctx_alloc_with_options(
&isl_options_args,
options);
- map = isl_map_read_from_file(ctx, stdin
, -1
);
+ map = isl_map_read_from_file(ctx, stdin);
map = isl_map_transitive_closure(map, &exact);
if (!exact)
printf("# NOT exact\n");
map = isl_map_transitive_closure(map, &exact);
if (!exact)
printf("# NOT exact\n");