-/* Copyright (C) 2000 Free Software Foundation.
-
- If the argument to va_end() has side effects, test whether side
- effects from that argument are honored.
-
- Written by Kaveh R. Ghazi, 10/31/2000. */
-
-#include <stdarg.h>
-#include <stdio.h>
-#include <stdlib.h>
-
-#ifndef __GNUC__
-#define __attribute__(x)
-#endif
-
-static void __attribute__ ((__format__ (__printf__, 1, 2)))
-doit (const char *s, ...)
-{
- va_list *ap_array[3], **ap_ptr = ap_array;
-
- ap_array[0] = malloc (sizeof(va_list));
- ap_array[1] = NULL;
- ap_array[2] = malloc (sizeof(va_list));
-
- va_start (*ap_array[0], s);
- vprintf (s, **ap_ptr);
- /* Increment the va_list pointer once. */
- va_end (**ap_ptr++);
-
- /* Increment the va_list pointer a second time. */
- ap_ptr++;
-
- va_start (*ap_array[2], s);
- /* If we failed to increment ap_ptr twice, then the parameter passed
- in here will dereference NULL and should cause a crash. */
- vprintf (s, **ap_ptr);
- va_end (**ap_ptr);
-
- /* Just in case, If *ap_ptr is NULL abort anyway. */
- if (*ap_ptr == 0)
- abort();
-}
-
-int main()
-{
- doit ("%s", "hello world\n");
- exit (0);
-}