From 812577656502fba144df1e71213559f2531329e9 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 18 May 2012 11:43:12 +0200 Subject: [PATCH] isl_space.c: document name_ok Signed-off-by: Sven Verdoolaege --- isl_space.c | 5 +++++ 1 file changed, 5 insertions(+) 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; -- 2.11.4.GIT