Безопасно ли, чтобы asprintf использовал целевой указатель, отличный от NULL, который также является входом?

tl; dr Можно ли наивно использовать asprintf для конкатенации без вызова временного указателя?

Функция asprintf, введенная GNU и принятая в нескольких других реализациях clib, является заманчивым решением для произвольной конкатенации в c с использованием такой схемы, как

int i=0;
char *str = strdup(argv[i]);
while (argv[++i]) {
   asprintf(&str,"%s %s",argv[i],str);   // <=== This line
}
asprintf(&str,"%s\n",str);

Когда я обернут в основной и необходимые включения, это нормально для меня.

Но...

Утечка памяти повсюду? Valgrind говорит, что это на моей коробке. Это ошибка?

На странице руководства передо мной написано:

Функции asprintf () и vasprintf () устанавливают * ret как указатель на буфер, достаточно большой для хранения форматированной строки. Этот указатель следует передать в free (3), чтобы освободить выделенную память, когда она больше не нужна. Если не удается выделить достаточно места, asprintf () и vasprintf () вернут -1 и установят в ret указатель NULL.

В отсутствие фразы "установить *ret как указатель на новый буфер [...]" , я склонен предположить, что функция использует realloc, как getline.

Что может быть проблемой?

Использование подписи int asprintf(char **ret, const char *format, ...); для конкретности.

1. asprintf запускает realloc слишком рано.

   Представьте, что мы реализуем функцию таким образом, чтобы можно было запустить realloc(*ret) до того, как он разыменует один из переменных, использовавших псевдоним исходного буфера. Этот буфер был освобожден, и это технически неопределенное поведение. Это было бы ошибкой.

2. asprintf записывает в буфер перед его чтением. В приведенном выше коде мы можем представить функцию, копирующую содержимое argv[1] в *ret перед каждым va_arg аргумента str. Цитируемая мной страница руководства, похоже, не исключает этого случая.

3. asprintf не free *ret ни напрямую, ни с использованием realloc. Это позволит избежать проблемы номер (1), но приведет к утечке памяти при использовании, как указано выше. Опять же, эта страница руководства, похоже, не исключает этого.

Работать вокруг

Всего вышеперечисленного можно было бы избежать, заменив единственный вызов asprintf на

{
  char *newStr = NULL;
  asprintf(newStr,"%s %s",argv[i],str);
  free(str);
  str = newStr;
}

Но это довольно неуклюже.

Гарантирует ли согласованная реализация безопасность и правильность первого образца кода?