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
bc020f2
..
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)
{
@@
-10,11
+11,11
@@
int main(int argc, char **argv)
options = isl_options_new_with_defaults();
assert(options);
options = isl_options_new_with_defaults();
assert(options);
- argc = isl_options_parse(options, argc, argv);
+ 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");