summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--isl_space.c5
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;