stdio-opt-2.c: Also test __builtin_puts and __builtin_putchar.

	* gcc.c-torture/execute/stdio-opt-2.c: Also test __builtin_puts
	and __builtin_putchar.

From-SVN: r39307

gcc/testsuite/ChangeLog

+2001-01-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+	* gcc.c-torture/execute/stdio-opt-2.c: Also test __builtin_puts
+	and __builtin_putchar.
+
 2001-01-27  Jakub Jelinek  <jakub@redhat.com>
 
 	* gcc.dg/gnu99-init-1.c: Add 3 more designated range initializer

gcc/testsuite/gcc.c-torture/execute/stdio-opt-2.c

@@ -33,6 +33,10 @@ int main()
   /* Test at least one instance of the __builtin_ style.  We do this
      to ensure that it works and that the prototype is correct.  */
   __builtin_printf ("%s\n", "hello");
+  /* These builtin stubs are called by __builtin_printf, ensure their
+     prototypes are set correctly too.  */
+  __builtin_putchar ('\n');
+  __builtin_puts ("hello");
 
   return 0;
 }