diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2012-05-18 11:43:12 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2012-05-21 14:28:03 +0200 |
| commit | 812577656502fba144df1e71213559f2531329e9 (patch) | |
| tree | f5405ebe1d9beb457e931b3afc63c799653d2281 /isl_space.c | |
| parent | 5b898f1e08d13ea4cbd90b149df11f5a8e4b7844 (diff) | |
| download | isl-812577656502fba144df1e71213559f2531329e9.tar.gz isl-812577656502fba144df1e71213559f2531329e9.tar.bz2 isl-812577656502fba144df1e71213559f2531329e9.zip | |
isl_space.c: document name_ok
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_space.c')
| -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; |