Home
last modified time | relevance | path

Searched refs:default_suffix (Results 1 – 1 of 1) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_arg.c382 const char *default_suffix = "]"; in print_default() local
385 len = strlen(default_prefix) + strlen(def) + strlen(default_suffix); in print_default()
398 printf("%s%s%s", default_prefix, def, default_suffix); in print_default()
446 const char *default_suffix = "]"; in print_default_flags() local
447 int len = strlen(default_prefix) + strlen(default_suffix); in print_default_flags()
478 printf("%s", default_suffix); in print_default_flags()