[03/26] stdio-common: Add wide stream coverage to tst-vfprintf-user-type

Message ID f251e498ed050e37063b3cdd2dae82d9a430b8fc.1647544751.git.fweimer@redhat.com
State Committed
Headers
Series vfprintf rework to remove vtables |

Checks

Context Check Description
dj/TryBot-apply_patch success Patch applied to master at the time it was sent

Commit Message

Florian Weimer March 17, 2022, 7:28 p.m. UTC
  And use TEST_COMPARE_STRING for the narrow tests.
---
 stdio-common/tst-vfprintf-user-type.c | 128 ++++++++++++--------------
 1 file changed, 61 insertions(+), 67 deletions(-)
  

Comments

Adhemerval Zanella Netto March 18, 2022, 6:30 p.m. UTC | #1
On 17/03/2022 16:28, Florian Weimer via Libc-alpha wrote:
> And use TEST_COMPARE_STRING for the narrow tests.

LGTM, just a comment below.

Reviewed-by: Adhemerval Zanella  <adhemerval.zanella@linaro.org>

> ---
>  stdio-common/tst-vfprintf-user-type.c | 128 ++++++++++++--------------
>  1 file changed, 61 insertions(+), 67 deletions(-)
> 
> diff --git a/stdio-common/tst-vfprintf-user-type.c b/stdio-common/tst-vfprintf-user-type.c
> index f2650ac018..4aa78a6b60 100644
> --- a/stdio-common/tst-vfprintf-user-type.c
> +++ b/stdio-common/tst-vfprintf-user-type.c
> @@ -21,6 +21,7 @@
>     this indicates the number of such pairs which constitute the
>     argument.  */
>  
> +#include <array_length.h>
>  #include <locale.h>
>  #include <printf.h>
>  #include <stdio.h>
> @@ -60,13 +61,23 @@ my_printf_function (FILE *fp, const struct printf_info *info,
>              __func__, fp, info, args[0], args, (wint_t) info->spec,
>              info->prec);
>  
> +  TEST_COMPARE (info->wide, fwide (fp, 0) > 0);
> +
>    TEST_VERIFY (info->spec == 'P');
>    size_t nargs;
>    int printed;
>    if (info->prec >= 0)
>      {
> -      if (fputc ('{', fp) < 0)
> -        return -1;
> +      if (info->wide)
> +        {
> +          if (fputwc (L'{', fp) < 0)
> +            return -1;
> +          }
> +      else
> +        {
> +          if (fputc ('{', fp) < 0)
> +            return -1;
> +        }
>        nargs = info->prec;
>        printed = 1;
>      }

Ok.

> @@ -80,8 +91,16 @@ my_printf_function (FILE *fp, const struct printf_info *info,
>      {
>        if (i != 0)
>          {
> -          if (fputc (',', fp) < 0)
> -            return -1;
> +          if (info->wide)
> +            {
> +              if (fputwc (L',', fp) < 0)
> +                return -1;
> +            }
> +          else
> +            {
> +              if (fputc (',', fp) < 0)
> +                return -1;
> +            }
>            ++printed;
>          }
>  

Ok.

> @@ -89,15 +108,27 @@ my_printf_function (FILE *fp, const struct printf_info *info,
>           and those pointers point to a pointer to the memory area
>           supplied to my_va_arg_function.  */
>        struct two_argument *pair = *(void **) args[i];
> -      int ret = fprintf (fp, "(%ld, %f)", pair->i, pair->d);
> +      int ret;
> +      if (info->wide)
> +        ret = fwprintf (fp, L"(%ld, %f)", pair->i, pair->d);
> +      else
> +        ret = fprintf (fp, "(%ld, %f)", pair->i, pair->d);
>        if (ret < 0)
>          return -1;
>        printed += ret;
>      }
>    if (info->prec >= 0)
>      {
> -      if (fputc ('}', fp) < 0)
> -        return -1;
> +      if (info->wide)
> +        {
> +          if (fputwc (L'}', fp) < 0)
> +            return -1;
> +        }
> +      else
> +        {
> +          if (fputc ('}', fp) < 0)
> +            return -1;
> +        }
>        ++printed;
>      }
>    return printed;

Ok.

> @@ -145,77 +176,40 @@ do_test (void)
>    TEST_VERIFY_EXIT (register_printf_specifier
>                      ('P', my_printf_function, my_arginfo_function) >= 0);
>  
> -  /* Alias declaration for asprintf, to avoid the format string
> -     attribute and the associated warning.  */
> -#if __LDOUBLE_REDIRECTS_TO_FLOAT128_ABI == 1
> -  extern int asprintf_alias (char **, const char *, ...) __asm__ ("__asprintfieee128");
> -#else
> -  extern int asprintf_alias (char **, const char *, ...) __asm__ ("asprintf");
> -#endif
> -  TEST_VERIFY (asprintf_alias == asprintf);
> -  char *str = NULL;
> -  TEST_VERIFY (asprintf_alias (&str, "[[%P]]", 123L, 456.0) >= 0);
> -  if (test_verbose > 0)
> -    printf ("info: %s\n", str);
> -  TEST_VERIFY (strcmp (str, "[[(123, 456.000000)]]") == 0);
> -  free (str);
> -
> -  str = NULL;
> -  TEST_VERIFY (asprintf_alias (&str, "[[%1$P %1$P]]", 123L, 457.0) >= 0);
> -  if (test_verbose > 0)
> -    printf ("info: %s\n", str);
> -  TEST_VERIFY (strcmp (str, "[[(123, 457.000000) (123, 457.000000)]]") == 0);
> -  free (str);
> -
> -  str = NULL;
> -  TEST_VERIFY (asprintf_alias (&str, "[[%.1P]]", 1L, 2.0) >= 0);
> -  if (test_verbose > 0)
> -    printf ("info: %s\n", str);
> -  TEST_VERIFY (strcmp (str, "[[{(1, 2.000000)}]]") == 0);
> -  free (str);
> +  /* Wide variants of the tests above.  */
>  
> -  str = NULL;
> -  TEST_VERIFY (asprintf_alias (&str, "[[%.2P]]", 1L, 2.0, 3L, 4.0) >= 0);
> -  if (test_verbose > 0)
> -    printf ("info: %s\n", str);
> -  TEST_VERIFY (strcmp (str, "[[{(1, 2.000000),(3, 4.000000)}]]") == 0);
> -  free (str);
> +  wchar_t buf[200];
> +  TEST_VERIFY (swprintf (buf, array_length (buf), L"[[%.2P]]",
> +                         1L, 2.0, 3L, 4.0) >= 0);
> +  TEST_COMPARE_STRING_WIDE (buf, L"[[{(1, 2.000000),(3, 4.000000)}]]");
>  
> -  str = NULL;
> -  TEST_VERIFY (asprintf_alias
> -               (&str, "[[%.2P | %.3P]]",
> +  TEST_VERIFY (swprintf
> +               (buf, array_length (buf), L"[[%.2P | %.3P]]",
>                  /* argument 1: */ 1L, 2.0, 3L, 4.0,
>                  /* argument 2: */ 5L, 6.0, 7L, 8.0, 9L, 10.0)
>                 >= 0);
> -  if (test_verbose > 0)
> -    printf ("info: %s\n", str);
> -  TEST_VERIFY (strcmp (str,
> -                       "[["
> -                       "{(1, 2.000000),(3, 4.000000)}"
> -                       " | "
> -                       "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
> -                       "]]") == 0);
> -  free (str);
> +  TEST_COMPARE_STRING_WIDE (buf,
> +                            L"[["
> +                            "{(1, 2.000000),(3, 4.000000)}"
> +                            " | "
> +                            "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
> +                            "]]");
>  
>    /* The following subtest fails due to bug 21534.  */
>  #if 0
> -  str = NULL;
> -  TEST_VERIFY (asprintf_alias
> -               (&str, "[[%1$.2P | %2$.3P | %1$.2P]]",
> +  TEST_VERIFY (swprintf
> +               (&buf, array_length (buf), L"[[%1$.2P | %2$.3P | %1$.2P]]",
>                  /* argument 1: */ 1L, 2.0, 3L, 4.0,
>                  /* argument 2: */ 5L, 6.0, 7L, 8.0, 9L, 10.0)
>                 >= 0);
> -  if (test_verbose > 0)
> -    printf ("info: %s\n", str);
> -  TEST_VERIFY (strcmp (str,
> -                       "[["
> -                       "{(1, 2.000000),(3, 4.000000)}"
> -                       " | "
> -                       "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
> -                       " | "
> -                       "{(1, 2.000000),(3, 4.000000)}"
> -                       "]]") == 0);
> -  free (str);
> +  TEST_COMPARE_STRING_WIDE (buf,
> +                            L"[["
> +                            "{(1, 2.000000),(3, 4.000000)}"
> +                            " | "
> +                            "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
> +                            " | "
> +                            "{(1, 2.000000),(3, 4.000000)}"
> +                            "]]");
>  #endif
>  
>    return 0;

Why adjust a dead code here (I haven't checked the rest of the series to check
if you actually enabled it)?
  
Florian Weimer March 18, 2022, 7:19 p.m. UTC | #2
* Adhemerval Zanella:

> Why adjust a dead code here (I haven't checked the rest of the series to check
> if you actually enabled it)?

Hmm, I posted a debugging version of the test by mistake.  It removes
most of the subtests. 8-(

I'll fix this and push.

Thanks,
Florian
  

Patch

diff --git a/stdio-common/tst-vfprintf-user-type.c b/stdio-common/tst-vfprintf-user-type.c
index f2650ac018..4aa78a6b60 100644
--- a/stdio-common/tst-vfprintf-user-type.c
+++ b/stdio-common/tst-vfprintf-user-type.c
@@ -21,6 +21,7 @@ 
    this indicates the number of such pairs which constitute the
    argument.  */
 
+#include <array_length.h>
 #include <locale.h>
 #include <printf.h>
 #include <stdio.h>
@@ -60,13 +61,23 @@  my_printf_function (FILE *fp, const struct printf_info *info,
             __func__, fp, info, args[0], args, (wint_t) info->spec,
             info->prec);
 
+  TEST_COMPARE (info->wide, fwide (fp, 0) > 0);
+
   TEST_VERIFY (info->spec == 'P');
   size_t nargs;
   int printed;
   if (info->prec >= 0)
     {
-      if (fputc ('{', fp) < 0)
-        return -1;
+      if (info->wide)
+        {
+          if (fputwc (L'{', fp) < 0)
+            return -1;
+          }
+      else
+        {
+          if (fputc ('{', fp) < 0)
+            return -1;
+        }
       nargs = info->prec;
       printed = 1;
     }
@@ -80,8 +91,16 @@  my_printf_function (FILE *fp, const struct printf_info *info,
     {
       if (i != 0)
         {
-          if (fputc (',', fp) < 0)
-            return -1;
+          if (info->wide)
+            {
+              if (fputwc (L',', fp) < 0)
+                return -1;
+            }
+          else
+            {
+              if (fputc (',', fp) < 0)
+                return -1;
+            }
           ++printed;
         }
 
@@ -89,15 +108,27 @@  my_printf_function (FILE *fp, const struct printf_info *info,
          and those pointers point to a pointer to the memory area
          supplied to my_va_arg_function.  */
       struct two_argument *pair = *(void **) args[i];
-      int ret = fprintf (fp, "(%ld, %f)", pair->i, pair->d);
+      int ret;
+      if (info->wide)
+        ret = fwprintf (fp, L"(%ld, %f)", pair->i, pair->d);
+      else
+        ret = fprintf (fp, "(%ld, %f)", pair->i, pair->d);
       if (ret < 0)
         return -1;
       printed += ret;
     }
   if (info->prec >= 0)
     {
-      if (fputc ('}', fp) < 0)
-        return -1;
+      if (info->wide)
+        {
+          if (fputwc (L'}', fp) < 0)
+            return -1;
+        }
+      else
+        {
+          if (fputc ('}', fp) < 0)
+            return -1;
+        }
       ++printed;
     }
   return printed;
@@ -145,77 +176,40 @@  do_test (void)
   TEST_VERIFY_EXIT (register_printf_specifier
                     ('P', my_printf_function, my_arginfo_function) >= 0);
 
-  /* Alias declaration for asprintf, to avoid the format string
-     attribute and the associated warning.  */
-#if __LDOUBLE_REDIRECTS_TO_FLOAT128_ABI == 1
-  extern int asprintf_alias (char **, const char *, ...) __asm__ ("__asprintfieee128");
-#else
-  extern int asprintf_alias (char **, const char *, ...) __asm__ ("asprintf");
-#endif
-  TEST_VERIFY (asprintf_alias == asprintf);
-  char *str = NULL;
-  TEST_VERIFY (asprintf_alias (&str, "[[%P]]", 123L, 456.0) >= 0);
-  if (test_verbose > 0)
-    printf ("info: %s\n", str);
-  TEST_VERIFY (strcmp (str, "[[(123, 456.000000)]]") == 0);
-  free (str);
-
-  str = NULL;
-  TEST_VERIFY (asprintf_alias (&str, "[[%1$P %1$P]]", 123L, 457.0) >= 0);
-  if (test_verbose > 0)
-    printf ("info: %s\n", str);
-  TEST_VERIFY (strcmp (str, "[[(123, 457.000000) (123, 457.000000)]]") == 0);
-  free (str);
-
-  str = NULL;
-  TEST_VERIFY (asprintf_alias (&str, "[[%.1P]]", 1L, 2.0) >= 0);
-  if (test_verbose > 0)
-    printf ("info: %s\n", str);
-  TEST_VERIFY (strcmp (str, "[[{(1, 2.000000)}]]") == 0);
-  free (str);
+  /* Wide variants of the tests above.  */
 
-  str = NULL;
-  TEST_VERIFY (asprintf_alias (&str, "[[%.2P]]", 1L, 2.0, 3L, 4.0) >= 0);
-  if (test_verbose > 0)
-    printf ("info: %s\n", str);
-  TEST_VERIFY (strcmp (str, "[[{(1, 2.000000),(3, 4.000000)}]]") == 0);
-  free (str);
+  wchar_t buf[200];
+  TEST_VERIFY (swprintf (buf, array_length (buf), L"[[%.2P]]",
+                         1L, 2.0, 3L, 4.0) >= 0);
+  TEST_COMPARE_STRING_WIDE (buf, L"[[{(1, 2.000000),(3, 4.000000)}]]");
 
-  str = NULL;
-  TEST_VERIFY (asprintf_alias
-               (&str, "[[%.2P | %.3P]]",
+  TEST_VERIFY (swprintf
+               (buf, array_length (buf), L"[[%.2P | %.3P]]",
                 /* argument 1: */ 1L, 2.0, 3L, 4.0,
                 /* argument 2: */ 5L, 6.0, 7L, 8.0, 9L, 10.0)
                >= 0);
-  if (test_verbose > 0)
-    printf ("info: %s\n", str);
-  TEST_VERIFY (strcmp (str,
-                       "[["
-                       "{(1, 2.000000),(3, 4.000000)}"
-                       " | "
-                       "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
-                       "]]") == 0);
-  free (str);
+  TEST_COMPARE_STRING_WIDE (buf,
+                            L"[["
+                            "{(1, 2.000000),(3, 4.000000)}"
+                            " | "
+                            "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
+                            "]]");
 
   /* The following subtest fails due to bug 21534.  */
 #if 0
-  str = NULL;
-  TEST_VERIFY (asprintf_alias
-               (&str, "[[%1$.2P | %2$.3P | %1$.2P]]",
+  TEST_VERIFY (swprintf
+               (&buf, array_length (buf), L"[[%1$.2P | %2$.3P | %1$.2P]]",
                 /* argument 1: */ 1L, 2.0, 3L, 4.0,
                 /* argument 2: */ 5L, 6.0, 7L, 8.0, 9L, 10.0)
                >= 0);
-  if (test_verbose > 0)
-    printf ("info: %s\n", str);
-  TEST_VERIFY (strcmp (str,
-                       "[["
-                       "{(1, 2.000000),(3, 4.000000)}"
-                       " | "
-                       "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
-                       " | "
-                       "{(1, 2.000000),(3, 4.000000)}"
-                       "]]") == 0);
-  free (str);
+  TEST_COMPARE_STRING_WIDE (buf,
+                            L"[["
+                            "{(1, 2.000000),(3, 4.000000)}"
+                            " | "
+                            "{(5, 6.000000),(7, 8.000000),(9, 10.000000)}"
+                            " | "
+                            "{(1, 2.000000),(3, 4.000000)}"
+                            "]]");
 #endif
 
   return 0;