projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5b898f1
)
isl_space.c: document name_ok
author
Sven Verdoolaege
<skimo@kotnet.org>
Fri, 18 May 2012 09:43:12 +0000
(11:43 +0200)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Mon, 21 May 2012 12:28:03 +0000
(14:28 +0200)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_space.c
patch
|
blob
|
history
diff --git
a/isl_space.c
b/isl_space.c
index
ee45615
..
48b099b
100644
(file)
--- 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;