Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_arg.c383 const char *default_suffix = "]"; in print_default() local
386 len = strlen(default_prefix) + strlen(def) + strlen(default_suffix); in print_default()
399 printf("%s%s%s", default_prefix, def, default_suffix); in print_default()
447 const char *default_suffix = "]"; in print_default_flags() local
448 int len = strlen(default_prefix) + strlen(default_suffix); in print_default_flags()
479 printf("%s", default_suffix); in print_default_flags()