diff options
-rw-r--r-- | isl_space.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/isl_space.c b/isl_space.c index ee45615c..48b099b1 100644 --- a/isl_space.c +++ b/isl_space.c @@ -347,6 +347,11 @@ void isl_space_free(__isl_take isl_space *dim) free(dim); } +/* Check if "s" is a valid dimension or tuple name. + * We currently only forbid names that look like a number. + * + * s is assumed to be non-NULL. + */ static int name_ok(isl_ctx *ctx, const char *s) { char *p; |