isl_ast_build.c: generate_name: allocate enough space for variable name
commit1e8cde4bc73bfea73952aebb618c6b60b212992f
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 27 Jan 2018 09:25:41 +0000 (27 10:25 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 27 Jan 2018 09:31:24 +0000 (27 10:31 +0100)
tree614ee521856b86ae8c98d6278b1267afa998396a
parent7a7bb9edcaea3681b3088778559e1c4f1c2363c9
isl_ast_build.c: generate_name: allocate enough space for variable name

The original size should be enough in practice, but it causes
gcc 7.2.0 to generate a warning.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_ast_build.c