From 35be8cd279ffac9f4a7049343ad354edf2567cb0 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 14 Mar 2022 11:24:06 +0100
Subject: [PATCH] [kernel] Fix decision whether to introduce an implicit cast
 or not

attributes that are completely internal to Frama-C and do not have any impact
on the semantics of the underlying value should not lead to a cast node.
---
 src/kernel_services/ast_queries/cil.ml        |  12 +-
 .../tests/known/oracle/printf.res.oracle      |   4 +-
 .../oracle/printf_wrong_pointers.res.oracle   |   2 +-
 .../tests/known/oracle/wchar.res.oracle       |   2 +-
 tests/libc/oracle/inttypes_h.0.res.oracle     | 168 +++++++++---------
 tests/libc/oracle/inttypes_h.1.res.oracle     | 168 +++++++++---------
 tests/libc/oracle/inttypes_h.2.res.oracle     | 168 +++++++++---------
 tests/libc/oracle/inttypes_h.3.res.oracle     | 168 +++++++++---------
 tests/libc/oracle/inttypes_h.4.res.oracle     | 168 +++++++++---------
 tests/libc/oracle/inttypes_h.5.res.oracle     | 168 +++++++++---------
 tests/libc/oracle/inttypes_h.6.res.oracle     | 168 +++++++++---------
 tests/libc/oracle/inttypes_h.7.res.oracle     | 168 +++++++++---------
 .../syntax/oracle/type_compat_call.res.oracle |  17 +-
 tests/syntax/type_compat_call.c               |   8 +-
 14 files changed, 703 insertions(+), 686 deletions(-)

diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index 99910c959b5..676477f238b 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -4984,12 +4984,18 @@ let mk_behavior ?(name=default_behavior_name) ?(assumes=[]) ?(requires=[])
     b_extended = extended;
   }
 
+let fc_internal_attributes = ["declspec"; "arraylen"; "fc_stdlib"]
+
 let spare_attributes_for_c_cast =
-  "declspec"::"arraylen"::"fc_stdlib"::qualifier_attributes
+  fc_internal_attributes @ qualifier_attributes
 
 let type_remove_attributes_for_c_cast =
   typeRemoveAttributes spare_attributes_for_c_cast
 
+let type_remove_attributes_for_c_cast_deep t =
+  let t = typeRemoveAttributesDeep fc_internal_attributes t in
+  type_remove_attributes_for_c_cast t
+
 let spare_attributes_for_logic_cast =
   spare_attributes_for_c_cast
 
@@ -5000,8 +5006,8 @@ let () = Cil_datatype.drop_non_logic_attributes :=
     dropAttributes spare_attributes_for_logic_cast
 
 let need_cast ?(force=false) oldt newt =
-  let oldt = type_remove_attributes_for_c_cast (unrollType oldt) in
-  let newt = type_remove_attributes_for_c_cast (unrollType newt) in
+  let oldt = type_remove_attributes_for_c_cast_deep (unrollType oldt) in
+  let newt = type_remove_attributes_for_c_cast_deep (unrollType newt) in
   not (Cil_datatype.Typ.equal oldt newt) &&
   (force ||
    match oldt, newt with
diff --git a/src/plugins/variadic/tests/known/oracle/printf.res.oracle b/src/plugins/variadic/tests/known/oracle/printf.res.oracle
index 84e3d2e3912..e60f797a320 100644
--- a/src/plugins/variadic/tests/known/oracle/printf.res.oracle
+++ b/src/plugins/variadic/tests/known/oracle/printf.res.oracle
@@ -617,8 +617,8 @@ int main(void)
   size_t z;
   ptrdiff_t t;
   char *string = (char *)"Hello world !\n";
-  wchar_t *wstring = (wchar_t *)L"H" "e" "l" "l" "o" " " "w" "o" "r" "l" "d"
-    " " "!" "\\n" ;
+  wchar_t *wstring = L"H" "e" "l" "l" "o" " " "w" "o" "r" "l" "d" " " "!"
+    "\\n" ;
   char c = (char)'4';
   unsigned char uhh = (unsigned char)42;
   unsigned short uh = (unsigned short)42;
diff --git a/src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle b/src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle
index 4a0a2456aba..71e13f3012f 100644
--- a/src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle
+++ b/src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle
@@ -139,7 +139,7 @@ int main(void)
   short tt;
   unsigned int ui = (unsigned int)42;
   char *string = (char *)"foo";
-  wchar_t *wstring = (wchar_t *)L"b" "a" "r" ;
+  wchar_t *wstring = L"b" "a" "r" ;
   int volatile nondet = 0;
   switch (nondet) {
     case 0: printf("%n",(int *)(& tt)); /* printf_va_1 */
diff --git a/src/plugins/variadic/tests/known/oracle/wchar.res.oracle b/src/plugins/variadic/tests/known/oracle/wchar.res.oracle
index fa8afa9045d..9d9d36daad0 100644
--- a/src/plugins/variadic/tests/known/oracle/wchar.res.oracle
+++ b/src/plugins/variadic/tests/known/oracle/wchar.res.oracle
@@ -264,7 +264,7 @@ int main(void)
   wprintf((wchar_t const *)L"%" "2" "." "1" "f" " " "%" "+" "." "0" "e" " "
           "%" "E" "\\n" ,42.0,42.0,42.0); /* wprintf_va_4 */
   wprintf((wchar_t const *)L"%" "*" "d" " " "\\n" ,4,2); /* wprintf_va_5 */
-  wprintf((wchar_t const *)L"%" "l" "s" " " "\\n" ,(wchar_t *)L"4" "2" ); /* wprintf_va_6 */
+  wprintf((wchar_t const *)L"%" "l" "s" " " "\\n" ,L"4" "2" ); /* wprintf_va_6 */
   swprintf(wstring,(unsigned long)0x100,(wchar_t const *)L"%" "s" " " "=" " "
            "%" "d" ,(char *)L"4" "2" " " "+" " " "4" "2" ,42 + 42); /* swprintf_va_1 */
   wscanf((wchar_t const *)L"%" "l" "s" ,wstring); /* wscanf_va_1 */
diff --git a/tests/libc/oracle/inttypes_h.0.res.oracle b/tests/libc/oracle/inttypes_h.0.res.oracle
index aaac74691f5..256d275c25b 100644
--- a/tests/libc/oracle/inttypes_h.0.res.oracle
+++ b/tests/libc/oracle/inttypes_h.0.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(unsigned int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(unsigned int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(unsigned int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(unsigned int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%ld",(long *)(& x_3)); /* scanf_va_13 */
+    scanf("%ld",& x_3); /* scanf_va_13 */
     printf("%ld",x_3); /* printf_va_13 */
-    scanf("%li",(long *)(& x_3)); /* scanf_va_14 */
+    scanf("%li",& x_3); /* scanf_va_14 */
     printf("%li",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%lo",(unsigned long *)(& x_4)); /* scanf_va_15 */
+    scanf("%lo",& x_4); /* scanf_va_15 */
     printf("%lo",x_4); /* printf_va_15 */
-    scanf("%lu",(unsigned long *)(& x_4)); /* scanf_va_16 */
+    scanf("%lu",& x_4); /* scanf_va_16 */
     printf("%lu",x_4); /* printf_va_16 */
-    scanf("%lx",(unsigned long *)(& x_4)); /* scanf_va_17 */
+    scanf("%lx",& x_4); /* scanf_va_17 */
     printf("%lx",x_4); /* printf_va_17 */
-    scanf("%lx",(unsigned long *)(& x_4)); /* scanf_va_18 */
+    scanf("%lx",& x_4); /* scanf_va_18 */
     printf("%lX",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%lld",(long long *)(& x_5)); /* scanf_va_19 */
+    scanf("%lld",& x_5); /* scanf_va_19 */
     printf("%lld",x_5); /* printf_va_19 */
-    scanf("%lli",(long long *)(& x_5)); /* scanf_va_20 */
+    scanf("%lli",& x_5); /* scanf_va_20 */
     printf("%lli",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%llo",(unsigned long long *)(& x_6)); /* scanf_va_21 */
+    scanf("%llo",& x_6); /* scanf_va_21 */
     printf("%llo",x_6); /* printf_va_21 */
-    scanf("%llu",(unsigned long long *)(& x_6)); /* scanf_va_22 */
+    scanf("%llu",& x_6); /* scanf_va_22 */
     printf("%llu",x_6); /* printf_va_22 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_23 */
+    scanf("%llx",& x_6); /* scanf_va_23 */
     printf("%llx",x_6); /* printf_va_23 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_24 */
+    scanf("%llx",& x_6); /* scanf_va_24 */
     printf("%llX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(unsigned int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(unsigned int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(unsigned int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(unsigned int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%ld",(long *)(& x_11)); /* scanf_va_37 */
+    scanf("%ld",& x_11); /* scanf_va_37 */
     printf("%ld",x_11); /* printf_va_37 */
-    scanf("%li",(long *)(& x_11)); /* scanf_va_38 */
+    scanf("%li",& x_11); /* scanf_va_38 */
     printf("%li",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%lo",(unsigned long *)(& x_12)); /* scanf_va_39 */
+    scanf("%lo",& x_12); /* scanf_va_39 */
     printf("%lo",x_12); /* printf_va_39 */
-    scanf("%lu",(unsigned long *)(& x_12)); /* scanf_va_40 */
+    scanf("%lu",& x_12); /* scanf_va_40 */
     printf("%lu",x_12); /* printf_va_40 */
-    scanf("%lx",(unsigned long *)(& x_12)); /* scanf_va_41 */
+    scanf("%lx",& x_12); /* scanf_va_41 */
     printf("%lx",x_12); /* printf_va_41 */
-    scanf("%lx",(unsigned long *)(& x_12)); /* scanf_va_42 */
+    scanf("%lx",& x_12); /* scanf_va_42 */
     printf("%lX",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%lld",(long long *)(& x_13)); /* scanf_va_43 */
+    scanf("%lld",& x_13); /* scanf_va_43 */
     printf("%lld",x_13); /* printf_va_43 */
-    scanf("%lli",(long long *)(& x_13)); /* scanf_va_44 */
+    scanf("%lli",& x_13); /* scanf_va_44 */
     printf("%lli",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%llo",(unsigned long long *)(& x_14)); /* scanf_va_45 */
+    scanf("%llo",& x_14); /* scanf_va_45 */
     printf("%llo",x_14); /* printf_va_45 */
-    scanf("%llu",(unsigned long long *)(& x_14)); /* scanf_va_46 */
+    scanf("%llu",& x_14); /* scanf_va_46 */
     printf("%llu",x_14); /* printf_va_46 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_47 */
+    scanf("%llx",& x_14); /* scanf_va_47 */
     printf("%llx",x_14); /* printf_va_47 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_48 */
+    scanf("%llx",& x_14); /* scanf_va_48 */
     printf("%llX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%ld",(long *)(& x_19)); /* scanf_va_61 */
+    scanf("%ld",& x_19); /* scanf_va_61 */
     printf("%ld",x_19); /* printf_va_61 */
-    scanf("%li",(long *)(& x_19)); /* scanf_va_62 */
+    scanf("%li",& x_19); /* scanf_va_62 */
     printf("%li",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%lo",(unsigned long *)(& x_20)); /* scanf_va_63 */
+    scanf("%lo",& x_20); /* scanf_va_63 */
     printf("%lo",x_20); /* printf_va_63 */
-    scanf("%lu",(unsigned long *)(& x_20)); /* scanf_va_64 */
+    scanf("%lu",& x_20); /* scanf_va_64 */
     printf("%lu",x_20); /* printf_va_64 */
-    scanf("%lx",(unsigned long *)(& x_20)); /* scanf_va_65 */
+    scanf("%lx",& x_20); /* scanf_va_65 */
     printf("%lx",x_20); /* printf_va_65 */
-    scanf("%lx",(unsigned long *)(& x_20)); /* scanf_va_66 */
+    scanf("%lx",& x_20); /* scanf_va_66 */
     printf("%lX",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%lld",(long long *)(& x_21)); /* scanf_va_67 */
+    scanf("%lld",& x_21); /* scanf_va_67 */
     printf("%lld",x_21); /* printf_va_67 */
-    scanf("%lli",(long long *)(& x_21)); /* scanf_va_68 */
+    scanf("%lli",& x_21); /* scanf_va_68 */
     printf("%lli",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%llo",(unsigned long long *)(& x_22)); /* scanf_va_69 */
+    scanf("%llo",& x_22); /* scanf_va_69 */
     printf("%llo",x_22); /* printf_va_69 */
-    scanf("%llu",(unsigned long long *)(& x_22)); /* scanf_va_70 */
+    scanf("%llu",& x_22); /* scanf_va_70 */
     printf("%llu",x_22); /* printf_va_70 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_71 */
+    scanf("%llx",& x_22); /* scanf_va_71 */
     printf("%llx",x_22); /* printf_va_71 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_72 */
+    scanf("%llx",& x_22); /* scanf_va_72 */
     printf("%llX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(long long *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(long long *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned long long *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned long long *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%ld",(long *)(& x_25)); /* scanf_va_79 */
+    scanf("%ld",& x_25); /* scanf_va_79 */
     printf("%ld",x_25); /* printf_va_79 */
-    scanf("%li",(long *)(& x_25)); /* scanf_va_80 */
+    scanf("%li",& x_25); /* scanf_va_80 */
     printf("%li",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%lo",(unsigned long *)(& x_26)); /* scanf_va_81 */
+    scanf("%lo",& x_26); /* scanf_va_81 */
     printf("%lo",x_26); /* printf_va_81 */
-    scanf("%lu",(unsigned long *)(& x_26)); /* scanf_va_82 */
+    scanf("%lu",& x_26); /* scanf_va_82 */
     printf("%lu",x_26); /* printf_va_82 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_83 */
+    scanf("%lx",& x_26); /* scanf_va_83 */
     printf("%lx",x_26); /* printf_va_83 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_84 */
+    scanf("%lx",& x_26); /* scanf_va_84 */
     printf("%lX",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/libc/oracle/inttypes_h.1.res.oracle b/tests/libc/oracle/inttypes_h.1.res.oracle
index abcdf695f6a..b784a2af023 100644
--- a/tests/libc/oracle/inttypes_h.1.res.oracle
+++ b/tests/libc/oracle/inttypes_h.1.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%d",(int *)(& x_3)); /* scanf_va_13 */
+    scanf("%d",& x_3); /* scanf_va_13 */
     printf("%d",x_3); /* printf_va_13 */
-    scanf("%i",(int *)(& x_3)); /* scanf_va_14 */
+    scanf("%i",& x_3); /* scanf_va_14 */
     printf("%i",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%o",(unsigned int *)(& x_4)); /* scanf_va_15 */
+    scanf("%o",& x_4); /* scanf_va_15 */
     printf("%o",x_4); /* printf_va_15 */
-    scanf("%u",(unsigned int *)(& x_4)); /* scanf_va_16 */
+    scanf("%u",& x_4); /* scanf_va_16 */
     printf("%u",x_4); /* printf_va_16 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_17 */
+    scanf("%x",& x_4); /* scanf_va_17 */
     printf("%x",x_4); /* printf_va_17 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_18 */
+    scanf("%x",& x_4); /* scanf_va_18 */
     printf("%X",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%lld",(long long *)(& x_5)); /* scanf_va_19 */
+    scanf("%lld",& x_5); /* scanf_va_19 */
     printf("%lld",x_5); /* printf_va_19 */
-    scanf("%lli",(long long *)(& x_5)); /* scanf_va_20 */
+    scanf("%lli",& x_5); /* scanf_va_20 */
     printf("%lli",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%llo",(unsigned long long *)(& x_6)); /* scanf_va_21 */
+    scanf("%llo",& x_6); /* scanf_va_21 */
     printf("%llo",x_6); /* printf_va_21 */
-    scanf("%llu",(unsigned long long *)(& x_6)); /* scanf_va_22 */
+    scanf("%llu",& x_6); /* scanf_va_22 */
     printf("%llu",x_6); /* printf_va_22 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_23 */
+    scanf("%llx",& x_6); /* scanf_va_23 */
     printf("%llx",x_6); /* printf_va_23 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_24 */
+    scanf("%llx",& x_6); /* scanf_va_24 */
     printf("%llX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%d",(int *)(& x_11)); /* scanf_va_37 */
+    scanf("%d",& x_11); /* scanf_va_37 */
     printf("%d",x_11); /* printf_va_37 */
-    scanf("%i",(int *)(& x_11)); /* scanf_va_38 */
+    scanf("%i",& x_11); /* scanf_va_38 */
     printf("%i",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%o",(unsigned int *)(& x_12)); /* scanf_va_39 */
+    scanf("%o",& x_12); /* scanf_va_39 */
     printf("%o",x_12); /* printf_va_39 */
-    scanf("%u",(unsigned int *)(& x_12)); /* scanf_va_40 */
+    scanf("%u",& x_12); /* scanf_va_40 */
     printf("%u",x_12); /* printf_va_40 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_41 */
+    scanf("%x",& x_12); /* scanf_va_41 */
     printf("%x",x_12); /* printf_va_41 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_42 */
+    scanf("%x",& x_12); /* scanf_va_42 */
     printf("%X",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%lld",(long long *)(& x_13)); /* scanf_va_43 */
+    scanf("%lld",& x_13); /* scanf_va_43 */
     printf("%lld",x_13); /* printf_va_43 */
-    scanf("%lli",(long long *)(& x_13)); /* scanf_va_44 */
+    scanf("%lli",& x_13); /* scanf_va_44 */
     printf("%lli",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%llo",(unsigned long long *)(& x_14)); /* scanf_va_45 */
+    scanf("%llo",& x_14); /* scanf_va_45 */
     printf("%llo",x_14); /* printf_va_45 */
-    scanf("%llu",(unsigned long long *)(& x_14)); /* scanf_va_46 */
+    scanf("%llu",& x_14); /* scanf_va_46 */
     printf("%llu",x_14); /* printf_va_46 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_47 */
+    scanf("%llx",& x_14); /* scanf_va_47 */
     printf("%llx",x_14); /* printf_va_47 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_48 */
+    scanf("%llx",& x_14); /* scanf_va_48 */
     printf("%llX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%d",(int *)(& x_19)); /* scanf_va_61 */
+    scanf("%d",& x_19); /* scanf_va_61 */
     printf("%d",x_19); /* printf_va_61 */
-    scanf("%i",(int *)(& x_19)); /* scanf_va_62 */
+    scanf("%i",& x_19); /* scanf_va_62 */
     printf("%i",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%o",(unsigned int *)(& x_20)); /* scanf_va_63 */
+    scanf("%o",& x_20); /* scanf_va_63 */
     printf("%o",x_20); /* printf_va_63 */
-    scanf("%u",(unsigned int *)(& x_20)); /* scanf_va_64 */
+    scanf("%u",& x_20); /* scanf_va_64 */
     printf("%u",x_20); /* printf_va_64 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_65 */
+    scanf("%x",& x_20); /* scanf_va_65 */
     printf("%x",x_20); /* printf_va_65 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_66 */
+    scanf("%x",& x_20); /* scanf_va_66 */
     printf("%X",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%lld",(long long *)(& x_21)); /* scanf_va_67 */
+    scanf("%lld",& x_21); /* scanf_va_67 */
     printf("%lld",x_21); /* printf_va_67 */
-    scanf("%lli",(long long *)(& x_21)); /* scanf_va_68 */
+    scanf("%lli",& x_21); /* scanf_va_68 */
     printf("%lli",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%llo",(unsigned long long *)(& x_22)); /* scanf_va_69 */
+    scanf("%llo",& x_22); /* scanf_va_69 */
     printf("%llo",x_22); /* printf_va_69 */
-    scanf("%llu",(unsigned long long *)(& x_22)); /* scanf_va_70 */
+    scanf("%llu",& x_22); /* scanf_va_70 */
     printf("%llu",x_22); /* printf_va_70 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_71 */
+    scanf("%llx",& x_22); /* scanf_va_71 */
     printf("%llx",x_22); /* printf_va_71 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_72 */
+    scanf("%llx",& x_22); /* scanf_va_72 */
     printf("%llX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(long long *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(long long *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned long long *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned long long *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%d",(int *)(& x_25)); /* scanf_va_79 */
+    scanf("%d",& x_25); /* scanf_va_79 */
     printf("%d",x_25); /* printf_va_79 */
-    scanf("%i",(int *)(& x_25)); /* scanf_va_80 */
+    scanf("%i",& x_25); /* scanf_va_80 */
     printf("%i",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%o",(unsigned int *)(& x_26)); /* scanf_va_81 */
+    scanf("%o",& x_26); /* scanf_va_81 */
     printf("%o",x_26); /* printf_va_81 */
-    scanf("%u",(unsigned int *)(& x_26)); /* scanf_va_82 */
+    scanf("%u",& x_26); /* scanf_va_82 */
     printf("%u",x_26); /* printf_va_82 */
-    scanf("%x",(unsigned int *)(& x_26)); /* scanf_va_83 */
+    scanf("%x",& x_26); /* scanf_va_83 */
     printf("%x",x_26); /* printf_va_83 */
-    scanf("%x",(unsigned int *)(& x_26)); /* scanf_va_84 */
+    scanf("%x",& x_26); /* scanf_va_84 */
     printf("%X",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/libc/oracle/inttypes_h.2.res.oracle b/tests/libc/oracle/inttypes_h.2.res.oracle
index 3ef1a5ea234..92f400d2eb0 100644
--- a/tests/libc/oracle/inttypes_h.2.res.oracle
+++ b/tests/libc/oracle/inttypes_h.2.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%d",(int *)(& x_3)); /* scanf_va_13 */
+    scanf("%d",& x_3); /* scanf_va_13 */
     printf("%d",x_3); /* printf_va_13 */
-    scanf("%i",(int *)(& x_3)); /* scanf_va_14 */
+    scanf("%i",& x_3); /* scanf_va_14 */
     printf("%i",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%o",(unsigned int *)(& x_4)); /* scanf_va_15 */
+    scanf("%o",& x_4); /* scanf_va_15 */
     printf("%o",x_4); /* printf_va_15 */
-    scanf("%u",(unsigned int *)(& x_4)); /* scanf_va_16 */
+    scanf("%u",& x_4); /* scanf_va_16 */
     printf("%u",x_4); /* printf_va_16 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_17 */
+    scanf("%x",& x_4); /* scanf_va_17 */
     printf("%x",x_4); /* printf_va_17 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_18 */
+    scanf("%x",& x_4); /* scanf_va_18 */
     printf("%X",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%ld",(long *)(& x_5)); /* scanf_va_19 */
+    scanf("%ld",& x_5); /* scanf_va_19 */
     printf("%ld",x_5); /* printf_va_19 */
-    scanf("%li",(long *)(& x_5)); /* scanf_va_20 */
+    scanf("%li",& x_5); /* scanf_va_20 */
     printf("%li",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%lo",(unsigned long *)(& x_6)); /* scanf_va_21 */
+    scanf("%lo",& x_6); /* scanf_va_21 */
     printf("%lo",x_6); /* printf_va_21 */
-    scanf("%lu",(unsigned long *)(& x_6)); /* scanf_va_22 */
+    scanf("%lu",& x_6); /* scanf_va_22 */
     printf("%lu",x_6); /* printf_va_22 */
-    scanf("%lx",(unsigned long *)(& x_6)); /* scanf_va_23 */
+    scanf("%lx",& x_6); /* scanf_va_23 */
     printf("%lx",x_6); /* printf_va_23 */
-    scanf("%lx",(unsigned long *)(& x_6)); /* scanf_va_24 */
+    scanf("%lx",& x_6); /* scanf_va_24 */
     printf("%lX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%d",(int *)(& x_11)); /* scanf_va_37 */
+    scanf("%d",& x_11); /* scanf_va_37 */
     printf("%d",x_11); /* printf_va_37 */
-    scanf("%i",(int *)(& x_11)); /* scanf_va_38 */
+    scanf("%i",& x_11); /* scanf_va_38 */
     printf("%i",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%o",(unsigned int *)(& x_12)); /* scanf_va_39 */
+    scanf("%o",& x_12); /* scanf_va_39 */
     printf("%o",x_12); /* printf_va_39 */
-    scanf("%u",(unsigned int *)(& x_12)); /* scanf_va_40 */
+    scanf("%u",& x_12); /* scanf_va_40 */
     printf("%u",x_12); /* printf_va_40 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_41 */
+    scanf("%x",& x_12); /* scanf_va_41 */
     printf("%x",x_12); /* printf_va_41 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_42 */
+    scanf("%x",& x_12); /* scanf_va_42 */
     printf("%X",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%ld",(long *)(& x_13)); /* scanf_va_43 */
+    scanf("%ld",& x_13); /* scanf_va_43 */
     printf("%ld",x_13); /* printf_va_43 */
-    scanf("%li",(long *)(& x_13)); /* scanf_va_44 */
+    scanf("%li",& x_13); /* scanf_va_44 */
     printf("%li",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%lo",(unsigned long *)(& x_14)); /* scanf_va_45 */
+    scanf("%lo",& x_14); /* scanf_va_45 */
     printf("%lo",x_14); /* printf_va_45 */
-    scanf("%lu",(unsigned long *)(& x_14)); /* scanf_va_46 */
+    scanf("%lu",& x_14); /* scanf_va_46 */
     printf("%lu",x_14); /* printf_va_46 */
-    scanf("%lx",(unsigned long *)(& x_14)); /* scanf_va_47 */
+    scanf("%lx",& x_14); /* scanf_va_47 */
     printf("%lx",x_14); /* printf_va_47 */
-    scanf("%lx",(unsigned long *)(& x_14)); /* scanf_va_48 */
+    scanf("%lx",& x_14); /* scanf_va_48 */
     printf("%lX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%d",(int *)(& x_19)); /* scanf_va_61 */
+    scanf("%d",& x_19); /* scanf_va_61 */
     printf("%d",x_19); /* printf_va_61 */
-    scanf("%i",(int *)(& x_19)); /* scanf_va_62 */
+    scanf("%i",& x_19); /* scanf_va_62 */
     printf("%i",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%o",(unsigned int *)(& x_20)); /* scanf_va_63 */
+    scanf("%o",& x_20); /* scanf_va_63 */
     printf("%o",x_20); /* printf_va_63 */
-    scanf("%u",(unsigned int *)(& x_20)); /* scanf_va_64 */
+    scanf("%u",& x_20); /* scanf_va_64 */
     printf("%u",x_20); /* printf_va_64 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_65 */
+    scanf("%x",& x_20); /* scanf_va_65 */
     printf("%x",x_20); /* printf_va_65 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_66 */
+    scanf("%x",& x_20); /* scanf_va_66 */
     printf("%X",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%ld",(long *)(& x_21)); /* scanf_va_67 */
+    scanf("%ld",& x_21); /* scanf_va_67 */
     printf("%ld",x_21); /* printf_va_67 */
-    scanf("%li",(long *)(& x_21)); /* scanf_va_68 */
+    scanf("%li",& x_21); /* scanf_va_68 */
     printf("%li",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%lo",(unsigned long *)(& x_22)); /* scanf_va_69 */
+    scanf("%lo",& x_22); /* scanf_va_69 */
     printf("%lo",x_22); /* printf_va_69 */
-    scanf("%lu",(unsigned long *)(& x_22)); /* scanf_va_70 */
+    scanf("%lu",& x_22); /* scanf_va_70 */
     printf("%lu",x_22); /* printf_va_70 */
-    scanf("%lx",(unsigned long *)(& x_22)); /* scanf_va_71 */
+    scanf("%lx",& x_22); /* scanf_va_71 */
     printf("%lx",x_22); /* printf_va_71 */
-    scanf("%lx",(unsigned long *)(& x_22)); /* scanf_va_72 */
+    scanf("%lx",& x_22); /* scanf_va_72 */
     printf("%lX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(long long *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(long long *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned long long *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned long long *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%ld",(long *)(& x_25)); /* scanf_va_79 */
+    scanf("%ld",& x_25); /* scanf_va_79 */
     printf("%ld",x_25); /* printf_va_79 */
-    scanf("%li",(long *)(& x_25)); /* scanf_va_80 */
+    scanf("%li",& x_25); /* scanf_va_80 */
     printf("%li",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%lo",(unsigned long *)(& x_26)); /* scanf_va_81 */
+    scanf("%lo",& x_26); /* scanf_va_81 */
     printf("%lo",x_26); /* printf_va_81 */
-    scanf("%lu",(unsigned long *)(& x_26)); /* scanf_va_82 */
+    scanf("%lu",& x_26); /* scanf_va_82 */
     printf("%lu",x_26); /* printf_va_82 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_83 */
+    scanf("%lx",& x_26); /* scanf_va_83 */
     printf("%lx",x_26); /* printf_va_83 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_84 */
+    scanf("%lx",& x_26); /* scanf_va_84 */
     printf("%lX",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/libc/oracle/inttypes_h.3.res.oracle b/tests/libc/oracle/inttypes_h.3.res.oracle
index aaac74691f5..256d275c25b 100644
--- a/tests/libc/oracle/inttypes_h.3.res.oracle
+++ b/tests/libc/oracle/inttypes_h.3.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(unsigned int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(unsigned int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(unsigned int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(unsigned int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%ld",(long *)(& x_3)); /* scanf_va_13 */
+    scanf("%ld",& x_3); /* scanf_va_13 */
     printf("%ld",x_3); /* printf_va_13 */
-    scanf("%li",(long *)(& x_3)); /* scanf_va_14 */
+    scanf("%li",& x_3); /* scanf_va_14 */
     printf("%li",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%lo",(unsigned long *)(& x_4)); /* scanf_va_15 */
+    scanf("%lo",& x_4); /* scanf_va_15 */
     printf("%lo",x_4); /* printf_va_15 */
-    scanf("%lu",(unsigned long *)(& x_4)); /* scanf_va_16 */
+    scanf("%lu",& x_4); /* scanf_va_16 */
     printf("%lu",x_4); /* printf_va_16 */
-    scanf("%lx",(unsigned long *)(& x_4)); /* scanf_va_17 */
+    scanf("%lx",& x_4); /* scanf_va_17 */
     printf("%lx",x_4); /* printf_va_17 */
-    scanf("%lx",(unsigned long *)(& x_4)); /* scanf_va_18 */
+    scanf("%lx",& x_4); /* scanf_va_18 */
     printf("%lX",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%lld",(long long *)(& x_5)); /* scanf_va_19 */
+    scanf("%lld",& x_5); /* scanf_va_19 */
     printf("%lld",x_5); /* printf_va_19 */
-    scanf("%lli",(long long *)(& x_5)); /* scanf_va_20 */
+    scanf("%lli",& x_5); /* scanf_va_20 */
     printf("%lli",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%llo",(unsigned long long *)(& x_6)); /* scanf_va_21 */
+    scanf("%llo",& x_6); /* scanf_va_21 */
     printf("%llo",x_6); /* printf_va_21 */
-    scanf("%llu",(unsigned long long *)(& x_6)); /* scanf_va_22 */
+    scanf("%llu",& x_6); /* scanf_va_22 */
     printf("%llu",x_6); /* printf_va_22 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_23 */
+    scanf("%llx",& x_6); /* scanf_va_23 */
     printf("%llx",x_6); /* printf_va_23 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_24 */
+    scanf("%llx",& x_6); /* scanf_va_24 */
     printf("%llX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(unsigned int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(unsigned int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(unsigned int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(unsigned int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%ld",(long *)(& x_11)); /* scanf_va_37 */
+    scanf("%ld",& x_11); /* scanf_va_37 */
     printf("%ld",x_11); /* printf_va_37 */
-    scanf("%li",(long *)(& x_11)); /* scanf_va_38 */
+    scanf("%li",& x_11); /* scanf_va_38 */
     printf("%li",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%lo",(unsigned long *)(& x_12)); /* scanf_va_39 */
+    scanf("%lo",& x_12); /* scanf_va_39 */
     printf("%lo",x_12); /* printf_va_39 */
-    scanf("%lu",(unsigned long *)(& x_12)); /* scanf_va_40 */
+    scanf("%lu",& x_12); /* scanf_va_40 */
     printf("%lu",x_12); /* printf_va_40 */
-    scanf("%lx",(unsigned long *)(& x_12)); /* scanf_va_41 */
+    scanf("%lx",& x_12); /* scanf_va_41 */
     printf("%lx",x_12); /* printf_va_41 */
-    scanf("%lx",(unsigned long *)(& x_12)); /* scanf_va_42 */
+    scanf("%lx",& x_12); /* scanf_va_42 */
     printf("%lX",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%lld",(long long *)(& x_13)); /* scanf_va_43 */
+    scanf("%lld",& x_13); /* scanf_va_43 */
     printf("%lld",x_13); /* printf_va_43 */
-    scanf("%lli",(long long *)(& x_13)); /* scanf_va_44 */
+    scanf("%lli",& x_13); /* scanf_va_44 */
     printf("%lli",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%llo",(unsigned long long *)(& x_14)); /* scanf_va_45 */
+    scanf("%llo",& x_14); /* scanf_va_45 */
     printf("%llo",x_14); /* printf_va_45 */
-    scanf("%llu",(unsigned long long *)(& x_14)); /* scanf_va_46 */
+    scanf("%llu",& x_14); /* scanf_va_46 */
     printf("%llu",x_14); /* printf_va_46 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_47 */
+    scanf("%llx",& x_14); /* scanf_va_47 */
     printf("%llx",x_14); /* printf_va_47 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_48 */
+    scanf("%llx",& x_14); /* scanf_va_48 */
     printf("%llX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%ld",(long *)(& x_19)); /* scanf_va_61 */
+    scanf("%ld",& x_19); /* scanf_va_61 */
     printf("%ld",x_19); /* printf_va_61 */
-    scanf("%li",(long *)(& x_19)); /* scanf_va_62 */
+    scanf("%li",& x_19); /* scanf_va_62 */
     printf("%li",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%lo",(unsigned long *)(& x_20)); /* scanf_va_63 */
+    scanf("%lo",& x_20); /* scanf_va_63 */
     printf("%lo",x_20); /* printf_va_63 */
-    scanf("%lu",(unsigned long *)(& x_20)); /* scanf_va_64 */
+    scanf("%lu",& x_20); /* scanf_va_64 */
     printf("%lu",x_20); /* printf_va_64 */
-    scanf("%lx",(unsigned long *)(& x_20)); /* scanf_va_65 */
+    scanf("%lx",& x_20); /* scanf_va_65 */
     printf("%lx",x_20); /* printf_va_65 */
-    scanf("%lx",(unsigned long *)(& x_20)); /* scanf_va_66 */
+    scanf("%lx",& x_20); /* scanf_va_66 */
     printf("%lX",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%lld",(long long *)(& x_21)); /* scanf_va_67 */
+    scanf("%lld",& x_21); /* scanf_va_67 */
     printf("%lld",x_21); /* printf_va_67 */
-    scanf("%lli",(long long *)(& x_21)); /* scanf_va_68 */
+    scanf("%lli",& x_21); /* scanf_va_68 */
     printf("%lli",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%llo",(unsigned long long *)(& x_22)); /* scanf_va_69 */
+    scanf("%llo",& x_22); /* scanf_va_69 */
     printf("%llo",x_22); /* printf_va_69 */
-    scanf("%llu",(unsigned long long *)(& x_22)); /* scanf_va_70 */
+    scanf("%llu",& x_22); /* scanf_va_70 */
     printf("%llu",x_22); /* printf_va_70 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_71 */
+    scanf("%llx",& x_22); /* scanf_va_71 */
     printf("%llx",x_22); /* printf_va_71 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_72 */
+    scanf("%llx",& x_22); /* scanf_va_72 */
     printf("%llX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(long long *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(long long *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned long long *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned long long *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%ld",(long *)(& x_25)); /* scanf_va_79 */
+    scanf("%ld",& x_25); /* scanf_va_79 */
     printf("%ld",x_25); /* printf_va_79 */
-    scanf("%li",(long *)(& x_25)); /* scanf_va_80 */
+    scanf("%li",& x_25); /* scanf_va_80 */
     printf("%li",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%lo",(unsigned long *)(& x_26)); /* scanf_va_81 */
+    scanf("%lo",& x_26); /* scanf_va_81 */
     printf("%lo",x_26); /* printf_va_81 */
-    scanf("%lu",(unsigned long *)(& x_26)); /* scanf_va_82 */
+    scanf("%lu",& x_26); /* scanf_va_82 */
     printf("%lu",x_26); /* printf_va_82 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_83 */
+    scanf("%lx",& x_26); /* scanf_va_83 */
     printf("%lx",x_26); /* printf_va_83 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_84 */
+    scanf("%lx",& x_26); /* scanf_va_84 */
     printf("%lX",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/libc/oracle/inttypes_h.4.res.oracle b/tests/libc/oracle/inttypes_h.4.res.oracle
index abcdf695f6a..b784a2af023 100644
--- a/tests/libc/oracle/inttypes_h.4.res.oracle
+++ b/tests/libc/oracle/inttypes_h.4.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%d",(int *)(& x_3)); /* scanf_va_13 */
+    scanf("%d",& x_3); /* scanf_va_13 */
     printf("%d",x_3); /* printf_va_13 */
-    scanf("%i",(int *)(& x_3)); /* scanf_va_14 */
+    scanf("%i",& x_3); /* scanf_va_14 */
     printf("%i",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%o",(unsigned int *)(& x_4)); /* scanf_va_15 */
+    scanf("%o",& x_4); /* scanf_va_15 */
     printf("%o",x_4); /* printf_va_15 */
-    scanf("%u",(unsigned int *)(& x_4)); /* scanf_va_16 */
+    scanf("%u",& x_4); /* scanf_va_16 */
     printf("%u",x_4); /* printf_va_16 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_17 */
+    scanf("%x",& x_4); /* scanf_va_17 */
     printf("%x",x_4); /* printf_va_17 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_18 */
+    scanf("%x",& x_4); /* scanf_va_18 */
     printf("%X",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%lld",(long long *)(& x_5)); /* scanf_va_19 */
+    scanf("%lld",& x_5); /* scanf_va_19 */
     printf("%lld",x_5); /* printf_va_19 */
-    scanf("%lli",(long long *)(& x_5)); /* scanf_va_20 */
+    scanf("%lli",& x_5); /* scanf_va_20 */
     printf("%lli",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%llo",(unsigned long long *)(& x_6)); /* scanf_va_21 */
+    scanf("%llo",& x_6); /* scanf_va_21 */
     printf("%llo",x_6); /* printf_va_21 */
-    scanf("%llu",(unsigned long long *)(& x_6)); /* scanf_va_22 */
+    scanf("%llu",& x_6); /* scanf_va_22 */
     printf("%llu",x_6); /* printf_va_22 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_23 */
+    scanf("%llx",& x_6); /* scanf_va_23 */
     printf("%llx",x_6); /* printf_va_23 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_24 */
+    scanf("%llx",& x_6); /* scanf_va_24 */
     printf("%llX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%d",(int *)(& x_11)); /* scanf_va_37 */
+    scanf("%d",& x_11); /* scanf_va_37 */
     printf("%d",x_11); /* printf_va_37 */
-    scanf("%i",(int *)(& x_11)); /* scanf_va_38 */
+    scanf("%i",& x_11); /* scanf_va_38 */
     printf("%i",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%o",(unsigned int *)(& x_12)); /* scanf_va_39 */
+    scanf("%o",& x_12); /* scanf_va_39 */
     printf("%o",x_12); /* printf_va_39 */
-    scanf("%u",(unsigned int *)(& x_12)); /* scanf_va_40 */
+    scanf("%u",& x_12); /* scanf_va_40 */
     printf("%u",x_12); /* printf_va_40 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_41 */
+    scanf("%x",& x_12); /* scanf_va_41 */
     printf("%x",x_12); /* printf_va_41 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_42 */
+    scanf("%x",& x_12); /* scanf_va_42 */
     printf("%X",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%lld",(long long *)(& x_13)); /* scanf_va_43 */
+    scanf("%lld",& x_13); /* scanf_va_43 */
     printf("%lld",x_13); /* printf_va_43 */
-    scanf("%lli",(long long *)(& x_13)); /* scanf_va_44 */
+    scanf("%lli",& x_13); /* scanf_va_44 */
     printf("%lli",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%llo",(unsigned long long *)(& x_14)); /* scanf_va_45 */
+    scanf("%llo",& x_14); /* scanf_va_45 */
     printf("%llo",x_14); /* printf_va_45 */
-    scanf("%llu",(unsigned long long *)(& x_14)); /* scanf_va_46 */
+    scanf("%llu",& x_14); /* scanf_va_46 */
     printf("%llu",x_14); /* printf_va_46 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_47 */
+    scanf("%llx",& x_14); /* scanf_va_47 */
     printf("%llx",x_14); /* printf_va_47 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_48 */
+    scanf("%llx",& x_14); /* scanf_va_48 */
     printf("%llX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%d",(int *)(& x_19)); /* scanf_va_61 */
+    scanf("%d",& x_19); /* scanf_va_61 */
     printf("%d",x_19); /* printf_va_61 */
-    scanf("%i",(int *)(& x_19)); /* scanf_va_62 */
+    scanf("%i",& x_19); /* scanf_va_62 */
     printf("%i",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%o",(unsigned int *)(& x_20)); /* scanf_va_63 */
+    scanf("%o",& x_20); /* scanf_va_63 */
     printf("%o",x_20); /* printf_va_63 */
-    scanf("%u",(unsigned int *)(& x_20)); /* scanf_va_64 */
+    scanf("%u",& x_20); /* scanf_va_64 */
     printf("%u",x_20); /* printf_va_64 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_65 */
+    scanf("%x",& x_20); /* scanf_va_65 */
     printf("%x",x_20); /* printf_va_65 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_66 */
+    scanf("%x",& x_20); /* scanf_va_66 */
     printf("%X",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%lld",(long long *)(& x_21)); /* scanf_va_67 */
+    scanf("%lld",& x_21); /* scanf_va_67 */
     printf("%lld",x_21); /* printf_va_67 */
-    scanf("%lli",(long long *)(& x_21)); /* scanf_va_68 */
+    scanf("%lli",& x_21); /* scanf_va_68 */
     printf("%lli",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%llo",(unsigned long long *)(& x_22)); /* scanf_va_69 */
+    scanf("%llo",& x_22); /* scanf_va_69 */
     printf("%llo",x_22); /* printf_va_69 */
-    scanf("%llu",(unsigned long long *)(& x_22)); /* scanf_va_70 */
+    scanf("%llu",& x_22); /* scanf_va_70 */
     printf("%llu",x_22); /* printf_va_70 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_71 */
+    scanf("%llx",& x_22); /* scanf_va_71 */
     printf("%llx",x_22); /* printf_va_71 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_72 */
+    scanf("%llx",& x_22); /* scanf_va_72 */
     printf("%llX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(long long *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(long long *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned long long *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned long long *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%d",(int *)(& x_25)); /* scanf_va_79 */
+    scanf("%d",& x_25); /* scanf_va_79 */
     printf("%d",x_25); /* printf_va_79 */
-    scanf("%i",(int *)(& x_25)); /* scanf_va_80 */
+    scanf("%i",& x_25); /* scanf_va_80 */
     printf("%i",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%o",(unsigned int *)(& x_26)); /* scanf_va_81 */
+    scanf("%o",& x_26); /* scanf_va_81 */
     printf("%o",x_26); /* printf_va_81 */
-    scanf("%u",(unsigned int *)(& x_26)); /* scanf_va_82 */
+    scanf("%u",& x_26); /* scanf_va_82 */
     printf("%u",x_26); /* printf_va_82 */
-    scanf("%x",(unsigned int *)(& x_26)); /* scanf_va_83 */
+    scanf("%x",& x_26); /* scanf_va_83 */
     printf("%x",x_26); /* printf_va_83 */
-    scanf("%x",(unsigned int *)(& x_26)); /* scanf_va_84 */
+    scanf("%x",& x_26); /* scanf_va_84 */
     printf("%X",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/libc/oracle/inttypes_h.5.res.oracle b/tests/libc/oracle/inttypes_h.5.res.oracle
index 3ef1a5ea234..92f400d2eb0 100644
--- a/tests/libc/oracle/inttypes_h.5.res.oracle
+++ b/tests/libc/oracle/inttypes_h.5.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%d",(int *)(& x_3)); /* scanf_va_13 */
+    scanf("%d",& x_3); /* scanf_va_13 */
     printf("%d",x_3); /* printf_va_13 */
-    scanf("%i",(int *)(& x_3)); /* scanf_va_14 */
+    scanf("%i",& x_3); /* scanf_va_14 */
     printf("%i",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%o",(unsigned int *)(& x_4)); /* scanf_va_15 */
+    scanf("%o",& x_4); /* scanf_va_15 */
     printf("%o",x_4); /* printf_va_15 */
-    scanf("%u",(unsigned int *)(& x_4)); /* scanf_va_16 */
+    scanf("%u",& x_4); /* scanf_va_16 */
     printf("%u",x_4); /* printf_va_16 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_17 */
+    scanf("%x",& x_4); /* scanf_va_17 */
     printf("%x",x_4); /* printf_va_17 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_18 */
+    scanf("%x",& x_4); /* scanf_va_18 */
     printf("%X",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%ld",(long *)(& x_5)); /* scanf_va_19 */
+    scanf("%ld",& x_5); /* scanf_va_19 */
     printf("%ld",x_5); /* printf_va_19 */
-    scanf("%li",(long *)(& x_5)); /* scanf_va_20 */
+    scanf("%li",& x_5); /* scanf_va_20 */
     printf("%li",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%lo",(unsigned long *)(& x_6)); /* scanf_va_21 */
+    scanf("%lo",& x_6); /* scanf_va_21 */
     printf("%lo",x_6); /* printf_va_21 */
-    scanf("%lu",(unsigned long *)(& x_6)); /* scanf_va_22 */
+    scanf("%lu",& x_6); /* scanf_va_22 */
     printf("%lu",x_6); /* printf_va_22 */
-    scanf("%lx",(unsigned long *)(& x_6)); /* scanf_va_23 */
+    scanf("%lx",& x_6); /* scanf_va_23 */
     printf("%lx",x_6); /* printf_va_23 */
-    scanf("%lx",(unsigned long *)(& x_6)); /* scanf_va_24 */
+    scanf("%lx",& x_6); /* scanf_va_24 */
     printf("%lX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%d",(int *)(& x_11)); /* scanf_va_37 */
+    scanf("%d",& x_11); /* scanf_va_37 */
     printf("%d",x_11); /* printf_va_37 */
-    scanf("%i",(int *)(& x_11)); /* scanf_va_38 */
+    scanf("%i",& x_11); /* scanf_va_38 */
     printf("%i",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%o",(unsigned int *)(& x_12)); /* scanf_va_39 */
+    scanf("%o",& x_12); /* scanf_va_39 */
     printf("%o",x_12); /* printf_va_39 */
-    scanf("%u",(unsigned int *)(& x_12)); /* scanf_va_40 */
+    scanf("%u",& x_12); /* scanf_va_40 */
     printf("%u",x_12); /* printf_va_40 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_41 */
+    scanf("%x",& x_12); /* scanf_va_41 */
     printf("%x",x_12); /* printf_va_41 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_42 */
+    scanf("%x",& x_12); /* scanf_va_42 */
     printf("%X",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%ld",(long *)(& x_13)); /* scanf_va_43 */
+    scanf("%ld",& x_13); /* scanf_va_43 */
     printf("%ld",x_13); /* printf_va_43 */
-    scanf("%li",(long *)(& x_13)); /* scanf_va_44 */
+    scanf("%li",& x_13); /* scanf_va_44 */
     printf("%li",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%lo",(unsigned long *)(& x_14)); /* scanf_va_45 */
+    scanf("%lo",& x_14); /* scanf_va_45 */
     printf("%lo",x_14); /* printf_va_45 */
-    scanf("%lu",(unsigned long *)(& x_14)); /* scanf_va_46 */
+    scanf("%lu",& x_14); /* scanf_va_46 */
     printf("%lu",x_14); /* printf_va_46 */
-    scanf("%lx",(unsigned long *)(& x_14)); /* scanf_va_47 */
+    scanf("%lx",& x_14); /* scanf_va_47 */
     printf("%lx",x_14); /* printf_va_47 */
-    scanf("%lx",(unsigned long *)(& x_14)); /* scanf_va_48 */
+    scanf("%lx",& x_14); /* scanf_va_48 */
     printf("%lX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%d",(int *)(& x_19)); /* scanf_va_61 */
+    scanf("%d",& x_19); /* scanf_va_61 */
     printf("%d",x_19); /* printf_va_61 */
-    scanf("%i",(int *)(& x_19)); /* scanf_va_62 */
+    scanf("%i",& x_19); /* scanf_va_62 */
     printf("%i",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%o",(unsigned int *)(& x_20)); /* scanf_va_63 */
+    scanf("%o",& x_20); /* scanf_va_63 */
     printf("%o",x_20); /* printf_va_63 */
-    scanf("%u",(unsigned int *)(& x_20)); /* scanf_va_64 */
+    scanf("%u",& x_20); /* scanf_va_64 */
     printf("%u",x_20); /* printf_va_64 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_65 */
+    scanf("%x",& x_20); /* scanf_va_65 */
     printf("%x",x_20); /* printf_va_65 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_66 */
+    scanf("%x",& x_20); /* scanf_va_66 */
     printf("%X",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%ld",(long *)(& x_21)); /* scanf_va_67 */
+    scanf("%ld",& x_21); /* scanf_va_67 */
     printf("%ld",x_21); /* printf_va_67 */
-    scanf("%li",(long *)(& x_21)); /* scanf_va_68 */
+    scanf("%li",& x_21); /* scanf_va_68 */
     printf("%li",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%lo",(unsigned long *)(& x_22)); /* scanf_va_69 */
+    scanf("%lo",& x_22); /* scanf_va_69 */
     printf("%lo",x_22); /* printf_va_69 */
-    scanf("%lu",(unsigned long *)(& x_22)); /* scanf_va_70 */
+    scanf("%lu",& x_22); /* scanf_va_70 */
     printf("%lu",x_22); /* printf_va_70 */
-    scanf("%lx",(unsigned long *)(& x_22)); /* scanf_va_71 */
+    scanf("%lx",& x_22); /* scanf_va_71 */
     printf("%lx",x_22); /* printf_va_71 */
-    scanf("%lx",(unsigned long *)(& x_22)); /* scanf_va_72 */
+    scanf("%lx",& x_22); /* scanf_va_72 */
     printf("%lX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(long long *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(long long *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned long long *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned long long *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%ld",(long *)(& x_25)); /* scanf_va_79 */
+    scanf("%ld",& x_25); /* scanf_va_79 */
     printf("%ld",x_25); /* printf_va_79 */
-    scanf("%li",(long *)(& x_25)); /* scanf_va_80 */
+    scanf("%li",& x_25); /* scanf_va_80 */
     printf("%li",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%lo",(unsigned long *)(& x_26)); /* scanf_va_81 */
+    scanf("%lo",& x_26); /* scanf_va_81 */
     printf("%lo",x_26); /* printf_va_81 */
-    scanf("%lu",(unsigned long *)(& x_26)); /* scanf_va_82 */
+    scanf("%lu",& x_26); /* scanf_va_82 */
     printf("%lu",x_26); /* printf_va_82 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_83 */
+    scanf("%lx",& x_26); /* scanf_va_83 */
     printf("%lx",x_26); /* printf_va_83 */
-    scanf("%lx",(unsigned long *)(& x_26)); /* scanf_va_84 */
+    scanf("%lx",& x_26); /* scanf_va_84 */
     printf("%lX",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/libc/oracle/inttypes_h.6.res.oracle b/tests/libc/oracle/inttypes_h.6.res.oracle
index abcdf695f6a..b784a2af023 100644
--- a/tests/libc/oracle/inttypes_h.6.res.oracle
+++ b/tests/libc/oracle/inttypes_h.6.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%d",(int *)(& x_3)); /* scanf_va_13 */
+    scanf("%d",& x_3); /* scanf_va_13 */
     printf("%d",x_3); /* printf_va_13 */
-    scanf("%i",(int *)(& x_3)); /* scanf_va_14 */
+    scanf("%i",& x_3); /* scanf_va_14 */
     printf("%i",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%o",(unsigned int *)(& x_4)); /* scanf_va_15 */
+    scanf("%o",& x_4); /* scanf_va_15 */
     printf("%o",x_4); /* printf_va_15 */
-    scanf("%u",(unsigned int *)(& x_4)); /* scanf_va_16 */
+    scanf("%u",& x_4); /* scanf_va_16 */
     printf("%u",x_4); /* printf_va_16 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_17 */
+    scanf("%x",& x_4); /* scanf_va_17 */
     printf("%x",x_4); /* printf_va_17 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_18 */
+    scanf("%x",& x_4); /* scanf_va_18 */
     printf("%X",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%lld",(long long *)(& x_5)); /* scanf_va_19 */
+    scanf("%lld",& x_5); /* scanf_va_19 */
     printf("%lld",x_5); /* printf_va_19 */
-    scanf("%lli",(long long *)(& x_5)); /* scanf_va_20 */
+    scanf("%lli",& x_5); /* scanf_va_20 */
     printf("%lli",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%llo",(unsigned long long *)(& x_6)); /* scanf_va_21 */
+    scanf("%llo",& x_6); /* scanf_va_21 */
     printf("%llo",x_6); /* printf_va_21 */
-    scanf("%llu",(unsigned long long *)(& x_6)); /* scanf_va_22 */
+    scanf("%llu",& x_6); /* scanf_va_22 */
     printf("%llu",x_6); /* printf_va_22 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_23 */
+    scanf("%llx",& x_6); /* scanf_va_23 */
     printf("%llx",x_6); /* printf_va_23 */
-    scanf("%llx",(unsigned long long *)(& x_6)); /* scanf_va_24 */
+    scanf("%llx",& x_6); /* scanf_va_24 */
     printf("%llX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%d",(int *)(& x_11)); /* scanf_va_37 */
+    scanf("%d",& x_11); /* scanf_va_37 */
     printf("%d",x_11); /* printf_va_37 */
-    scanf("%i",(int *)(& x_11)); /* scanf_va_38 */
+    scanf("%i",& x_11); /* scanf_va_38 */
     printf("%i",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%o",(unsigned int *)(& x_12)); /* scanf_va_39 */
+    scanf("%o",& x_12); /* scanf_va_39 */
     printf("%o",x_12); /* printf_va_39 */
-    scanf("%u",(unsigned int *)(& x_12)); /* scanf_va_40 */
+    scanf("%u",& x_12); /* scanf_va_40 */
     printf("%u",x_12); /* printf_va_40 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_41 */
+    scanf("%x",& x_12); /* scanf_va_41 */
     printf("%x",x_12); /* printf_va_41 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_42 */
+    scanf("%x",& x_12); /* scanf_va_42 */
     printf("%X",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%lld",(long long *)(& x_13)); /* scanf_va_43 */
+    scanf("%lld",& x_13); /* scanf_va_43 */
     printf("%lld",x_13); /* printf_va_43 */
-    scanf("%lli",(long long *)(& x_13)); /* scanf_va_44 */
+    scanf("%lli",& x_13); /* scanf_va_44 */
     printf("%lli",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%llo",(unsigned long long *)(& x_14)); /* scanf_va_45 */
+    scanf("%llo",& x_14); /* scanf_va_45 */
     printf("%llo",x_14); /* printf_va_45 */
-    scanf("%llu",(unsigned long long *)(& x_14)); /* scanf_va_46 */
+    scanf("%llu",& x_14); /* scanf_va_46 */
     printf("%llu",x_14); /* printf_va_46 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_47 */
+    scanf("%llx",& x_14); /* scanf_va_47 */
     printf("%llx",x_14); /* printf_va_47 */
-    scanf("%llx",(unsigned long long *)(& x_14)); /* scanf_va_48 */
+    scanf("%llx",& x_14); /* scanf_va_48 */
     printf("%llX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%d",(int *)(& x_19)); /* scanf_va_61 */
+    scanf("%d",& x_19); /* scanf_va_61 */
     printf("%d",x_19); /* printf_va_61 */
-    scanf("%i",(int *)(& x_19)); /* scanf_va_62 */
+    scanf("%i",& x_19); /* scanf_va_62 */
     printf("%i",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%o",(unsigned int *)(& x_20)); /* scanf_va_63 */
+    scanf("%o",& x_20); /* scanf_va_63 */
     printf("%o",x_20); /* printf_va_63 */
-    scanf("%u",(unsigned int *)(& x_20)); /* scanf_va_64 */
+    scanf("%u",& x_20); /* scanf_va_64 */
     printf("%u",x_20); /* printf_va_64 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_65 */
+    scanf("%x",& x_20); /* scanf_va_65 */
     printf("%x",x_20); /* printf_va_65 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_66 */
+    scanf("%x",& x_20); /* scanf_va_66 */
     printf("%X",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%lld",(long long *)(& x_21)); /* scanf_va_67 */
+    scanf("%lld",& x_21); /* scanf_va_67 */
     printf("%lld",x_21); /* printf_va_67 */
-    scanf("%lli",(long long *)(& x_21)); /* scanf_va_68 */
+    scanf("%lli",& x_21); /* scanf_va_68 */
     printf("%lli",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%llo",(unsigned long long *)(& x_22)); /* scanf_va_69 */
+    scanf("%llo",& x_22); /* scanf_va_69 */
     printf("%llo",x_22); /* printf_va_69 */
-    scanf("%llu",(unsigned long long *)(& x_22)); /* scanf_va_70 */
+    scanf("%llu",& x_22); /* scanf_va_70 */
     printf("%llu",x_22); /* printf_va_70 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_71 */
+    scanf("%llx",& x_22); /* scanf_va_71 */
     printf("%llx",x_22); /* printf_va_71 */
-    scanf("%llx",(unsigned long long *)(& x_22)); /* scanf_va_72 */
+    scanf("%llx",& x_22); /* scanf_va_72 */
     printf("%llX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(long long *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(long long *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned long long *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned long long *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned long long *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%d",(int *)(& x_25)); /* scanf_va_79 */
+    scanf("%d",& x_25); /* scanf_va_79 */
     printf("%d",x_25); /* printf_va_79 */
-    scanf("%i",(int *)(& x_25)); /* scanf_va_80 */
+    scanf("%i",& x_25); /* scanf_va_80 */
     printf("%i",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%o",(unsigned int *)(& x_26)); /* scanf_va_81 */
+    scanf("%o",& x_26); /* scanf_va_81 */
     printf("%o",x_26); /* printf_va_81 */
-    scanf("%u",(unsigned int *)(& x_26)); /* scanf_va_82 */
+    scanf("%u",& x_26); /* scanf_va_82 */
     printf("%u",x_26); /* printf_va_82 */
-    scanf("%x",(unsigned int *)(& x_26)); /* scanf_va_83 */
+    scanf("%x",& x_26); /* scanf_va_83 */
     printf("%x",x_26); /* printf_va_83 */
-    scanf("%x",(unsigned int *)(& x_26)); /* scanf_va_84 */
+    scanf("%x",& x_26); /* scanf_va_84 */
     printf("%X",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/libc/oracle/inttypes_h.7.res.oracle b/tests/libc/oracle/inttypes_h.7.res.oracle
index c27c42dd3c9..ce03e384bba 100644
--- a/tests/libc/oracle/inttypes_h.7.res.oracle
+++ b/tests/libc/oracle/inttypes_h.7.res.oracle
@@ -2531,254 +2531,254 @@ int main(void)
   int __retres;
   {
     int8_t x;
-    scanf("%hhd",(signed char *)(& x)); /* scanf_va_1 */
+    scanf("%hhd",& x); /* scanf_va_1 */
     printf("%hhd",(int)x); /* printf_va_1 */
-    scanf("%hhi",(signed char *)(& x)); /* scanf_va_2 */
+    scanf("%hhi",& x); /* scanf_va_2 */
     printf("%hhi",(int)x); /* printf_va_2 */
   }
   {
     uint8_t x_0;
-    scanf("%hho",(unsigned char *)(& x_0)); /* scanf_va_3 */
+    scanf("%hho",& x_0); /* scanf_va_3 */
     printf("%hho",(int)x_0); /* printf_va_3 */
-    scanf("%hhu",(unsigned char *)(& x_0)); /* scanf_va_4 */
+    scanf("%hhu",& x_0); /* scanf_va_4 */
     printf("%hhu",(int)x_0); /* printf_va_4 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_5 */
+    scanf("%hhx",& x_0); /* scanf_va_5 */
     printf("%hhx",(int)x_0); /* printf_va_5 */
-    scanf("%hhx",(unsigned char *)(& x_0)); /* scanf_va_6 */
+    scanf("%hhx",& x_0); /* scanf_va_6 */
     printf("%hhX",(int)x_0); /* printf_va_6 */
   }
   {
     int16_t x_1;
-    scanf("%hd",(short *)(& x_1)); /* scanf_va_7 */
+    scanf("%hd",& x_1); /* scanf_va_7 */
     printf("%hd",(int)x_1); /* printf_va_7 */
-    scanf("%hi",(short *)(& x_1)); /* scanf_va_8 */
+    scanf("%hi",& x_1); /* scanf_va_8 */
     printf("%hi",(int)x_1); /* printf_va_8 */
   }
   {
     uint16_t x_2;
-    scanf("%ho",(unsigned short *)(& x_2)); /* scanf_va_9 */
+    scanf("%ho",& x_2); /* scanf_va_9 */
     printf("%ho",(int)x_2); /* printf_va_9 */
-    scanf("%hu",(unsigned short *)(& x_2)); /* scanf_va_10 */
+    scanf("%hu",& x_2); /* scanf_va_10 */
     printf("%hu",(int)x_2); /* printf_va_10 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_11 */
+    scanf("%hx",& x_2); /* scanf_va_11 */
     printf("%hx",(int)x_2); /* printf_va_11 */
-    scanf("%hx",(unsigned short *)(& x_2)); /* scanf_va_12 */
+    scanf("%hx",& x_2); /* scanf_va_12 */
     printf("%hX",(int)x_2); /* printf_va_12 */
   }
   {
     int32_t x_3;
-    scanf("%d",(int *)(& x_3)); /* scanf_va_13 */
+    scanf("%d",& x_3); /* scanf_va_13 */
     printf("%d",x_3); /* printf_va_13 */
-    scanf("%i",(int *)(& x_3)); /* scanf_va_14 */
+    scanf("%i",& x_3); /* scanf_va_14 */
     printf("%i",x_3); /* printf_va_14 */
   }
   {
     uint32_t x_4;
-    scanf("%o",(unsigned int *)(& x_4)); /* scanf_va_15 */
+    scanf("%o",& x_4); /* scanf_va_15 */
     printf("%o",x_4); /* printf_va_15 */
-    scanf("%u",(unsigned int *)(& x_4)); /* scanf_va_16 */
+    scanf("%u",& x_4); /* scanf_va_16 */
     printf("%u",x_4); /* printf_va_16 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_17 */
+    scanf("%x",& x_4); /* scanf_va_17 */
     printf("%x",x_4); /* printf_va_17 */
-    scanf("%x",(unsigned int *)(& x_4)); /* scanf_va_18 */
+    scanf("%x",& x_4); /* scanf_va_18 */
     printf("%X",x_4); /* printf_va_18 */
   }
   {
     int64_t x_5;
-    scanf("%lld",(__int64 *)(& x_5)); /* scanf_va_19 */
+    scanf("%lld",& x_5); /* scanf_va_19 */
     printf("%lld",x_5); /* printf_va_19 */
-    scanf("%lli",(__int64 *)(& x_5)); /* scanf_va_20 */
+    scanf("%lli",& x_5); /* scanf_va_20 */
     printf("%lli",x_5); /* printf_va_20 */
   }
   {
     uint64_t x_6;
-    scanf("%llo",(unsigned __int64 *)(& x_6)); /* scanf_va_21 */
+    scanf("%llo",& x_6); /* scanf_va_21 */
     printf("%llo",x_6); /* printf_va_21 */
-    scanf("%llu",(unsigned __int64 *)(& x_6)); /* scanf_va_22 */
+    scanf("%llu",& x_6); /* scanf_va_22 */
     printf("%llu",x_6); /* printf_va_22 */
-    scanf("%llx",(unsigned __int64 *)(& x_6)); /* scanf_va_23 */
+    scanf("%llx",& x_6); /* scanf_va_23 */
     printf("%llx",x_6); /* printf_va_23 */
-    scanf("%llx",(unsigned __int64 *)(& x_6)); /* scanf_va_24 */
+    scanf("%llx",& x_6); /* scanf_va_24 */
     printf("%llX",x_6); /* printf_va_24 */
   }
   {
     int_least8_t x_7;
-    scanf("%hhd",(signed char *)(& x_7)); /* scanf_va_25 */
+    scanf("%hhd",& x_7); /* scanf_va_25 */
     printf("%hhd",(int)x_7); /* printf_va_25 */
-    scanf("%hhi",(signed char *)(& x_7)); /* scanf_va_26 */
+    scanf("%hhi",& x_7); /* scanf_va_26 */
     printf("%hhi",(int)x_7); /* printf_va_26 */
   }
   {
     uint_least8_t x_8;
-    scanf("%hho",(unsigned char *)(& x_8)); /* scanf_va_27 */
+    scanf("%hho",& x_8); /* scanf_va_27 */
     printf("%hho",(int)x_8); /* printf_va_27 */
-    scanf("%hhu",(unsigned char *)(& x_8)); /* scanf_va_28 */
+    scanf("%hhu",& x_8); /* scanf_va_28 */
     printf("%hhu",(int)x_8); /* printf_va_28 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_29 */
+    scanf("%hhx",& x_8); /* scanf_va_29 */
     printf("%hhx",(int)x_8); /* printf_va_29 */
-    scanf("%hhx",(unsigned char *)(& x_8)); /* scanf_va_30 */
+    scanf("%hhx",& x_8); /* scanf_va_30 */
     printf("%hhX",(int)x_8); /* printf_va_30 */
   }
   {
     int_least16_t x_9;
-    scanf("%hd",(short *)(& x_9)); /* scanf_va_31 */
+    scanf("%hd",& x_9); /* scanf_va_31 */
     printf("%hd",(int)x_9); /* printf_va_31 */
-    scanf("%hi",(short *)(& x_9)); /* scanf_va_32 */
+    scanf("%hi",& x_9); /* scanf_va_32 */
     printf("%hi",(int)x_9); /* printf_va_32 */
   }
   {
     uint_least16_t x_10;
-    scanf("%ho",(unsigned short *)(& x_10)); /* scanf_va_33 */
+    scanf("%ho",& x_10); /* scanf_va_33 */
     printf("%ho",(int)x_10); /* printf_va_33 */
-    scanf("%hu",(unsigned short *)(& x_10)); /* scanf_va_34 */
+    scanf("%hu",& x_10); /* scanf_va_34 */
     printf("%hu",(int)x_10); /* printf_va_34 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_35 */
+    scanf("%hx",& x_10); /* scanf_va_35 */
     printf("%hx",(int)x_10); /* printf_va_35 */
-    scanf("%hx",(unsigned short *)(& x_10)); /* scanf_va_36 */
+    scanf("%hx",& x_10); /* scanf_va_36 */
     printf("%hX",(int)x_10); /* printf_va_36 */
   }
   {
     int_least32_t x_11;
-    scanf("%d",(int *)(& x_11)); /* scanf_va_37 */
+    scanf("%d",& x_11); /* scanf_va_37 */
     printf("%d",x_11); /* printf_va_37 */
-    scanf("%i",(int *)(& x_11)); /* scanf_va_38 */
+    scanf("%i",& x_11); /* scanf_va_38 */
     printf("%i",x_11); /* printf_va_38 */
   }
   {
     uint_least32_t x_12;
-    scanf("%o",(unsigned int *)(& x_12)); /* scanf_va_39 */
+    scanf("%o",& x_12); /* scanf_va_39 */
     printf("%o",x_12); /* printf_va_39 */
-    scanf("%u",(unsigned int *)(& x_12)); /* scanf_va_40 */
+    scanf("%u",& x_12); /* scanf_va_40 */
     printf("%u",x_12); /* printf_va_40 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_41 */
+    scanf("%x",& x_12); /* scanf_va_41 */
     printf("%x",x_12); /* printf_va_41 */
-    scanf("%x",(unsigned int *)(& x_12)); /* scanf_va_42 */
+    scanf("%x",& x_12); /* scanf_va_42 */
     printf("%X",x_12); /* printf_va_42 */
   }
   {
     int_least64_t x_13;
-    scanf("%lld",(__int64 *)(& x_13)); /* scanf_va_43 */
+    scanf("%lld",& x_13); /* scanf_va_43 */
     printf("%lld",x_13); /* printf_va_43 */
-    scanf("%lli",(__int64 *)(& x_13)); /* scanf_va_44 */
+    scanf("%lli",& x_13); /* scanf_va_44 */
     printf("%lli",x_13); /* printf_va_44 */
   }
   {
     uint_least64_t x_14;
-    scanf("%llo",(unsigned __int64 *)(& x_14)); /* scanf_va_45 */
+    scanf("%llo",& x_14); /* scanf_va_45 */
     printf("%llo",x_14); /* printf_va_45 */
-    scanf("%llu",(unsigned __int64 *)(& x_14)); /* scanf_va_46 */
+    scanf("%llu",& x_14); /* scanf_va_46 */
     printf("%llu",x_14); /* printf_va_46 */
-    scanf("%llx",(unsigned __int64 *)(& x_14)); /* scanf_va_47 */
+    scanf("%llx",& x_14); /* scanf_va_47 */
     printf("%llx",x_14); /* printf_va_47 */
-    scanf("%llx",(unsigned __int64 *)(& x_14)); /* scanf_va_48 */
+    scanf("%llx",& x_14); /* scanf_va_48 */
     printf("%llX",x_14); /* printf_va_48 */
   }
   {
     int_fast8_t x_15;
-    scanf("%hhd",(signed char *)(& x_15)); /* scanf_va_49 */
+    scanf("%hhd",& x_15); /* scanf_va_49 */
     printf("%hhd",(int)x_15); /* printf_va_49 */
-    scanf("%hhi",(signed char *)(& x_15)); /* scanf_va_50 */
+    scanf("%hhi",& x_15); /* scanf_va_50 */
     printf("%hhi",(int)x_15); /* printf_va_50 */
   }
   {
     uint_fast8_t x_16;
-    scanf("%hho",(unsigned char *)(& x_16)); /* scanf_va_51 */
+    scanf("%hho",& x_16); /* scanf_va_51 */
     printf("%hho",(int)x_16); /* printf_va_51 */
-    scanf("%hhu",(unsigned char *)(& x_16)); /* scanf_va_52 */
+    scanf("%hhu",& x_16); /* scanf_va_52 */
     printf("%hhu",(int)x_16); /* printf_va_52 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_53 */
+    scanf("%hhx",& x_16); /* scanf_va_53 */
     printf("%hhx",(int)x_16); /* printf_va_53 */
-    scanf("%hhx",(unsigned char *)(& x_16)); /* scanf_va_54 */
+    scanf("%hhx",& x_16); /* scanf_va_54 */
     printf("%hhX",(int)x_16); /* printf_va_54 */
   }
   {
     int_fast16_t x_17;
-    scanf("%d",(int *)(& x_17)); /* scanf_va_55 */
+    scanf("%d",& x_17); /* scanf_va_55 */
     printf("%d",x_17); /* printf_va_55 */
-    scanf("%i",(int *)(& x_17)); /* scanf_va_56 */
+    scanf("%i",& x_17); /* scanf_va_56 */
     printf("%i",x_17); /* printf_va_56 */
   }
   {
     uint_fast16_t x_18;
-    scanf("%o",(unsigned int *)(& x_18)); /* scanf_va_57 */
+    scanf("%o",& x_18); /* scanf_va_57 */
     printf("%o",x_18); /* printf_va_57 */
-    scanf("%u",(unsigned int *)(& x_18)); /* scanf_va_58 */
+    scanf("%u",& x_18); /* scanf_va_58 */
     printf("%u",x_18); /* printf_va_58 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_59 */
+    scanf("%x",& x_18); /* scanf_va_59 */
     printf("%x",x_18); /* printf_va_59 */
-    scanf("%x",(unsigned int *)(& x_18)); /* scanf_va_60 */
+    scanf("%x",& x_18); /* scanf_va_60 */
     printf("%X",x_18); /* printf_va_60 */
   }
   {
     int_fast32_t x_19;
-    scanf("%d",(int *)(& x_19)); /* scanf_va_61 */
+    scanf("%d",& x_19); /* scanf_va_61 */
     printf("%d",x_19); /* printf_va_61 */
-    scanf("%i",(int *)(& x_19)); /* scanf_va_62 */
+    scanf("%i",& x_19); /* scanf_va_62 */
     printf("%i",x_19); /* printf_va_62 */
   }
   {
     uint_fast32_t x_20;
-    scanf("%o",(unsigned int *)(& x_20)); /* scanf_va_63 */
+    scanf("%o",& x_20); /* scanf_va_63 */
     printf("%o",x_20); /* printf_va_63 */
-    scanf("%u",(unsigned int *)(& x_20)); /* scanf_va_64 */
+    scanf("%u",& x_20); /* scanf_va_64 */
     printf("%u",x_20); /* printf_va_64 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_65 */
+    scanf("%x",& x_20); /* scanf_va_65 */
     printf("%x",x_20); /* printf_va_65 */
-    scanf("%x",(unsigned int *)(& x_20)); /* scanf_va_66 */
+    scanf("%x",& x_20); /* scanf_va_66 */
     printf("%X",x_20); /* printf_va_66 */
   }
   {
     int_fast64_t x_21;
-    scanf("%lld",(__int64 *)(& x_21)); /* scanf_va_67 */
+    scanf("%lld",& x_21); /* scanf_va_67 */
     printf("%lld",x_21); /* printf_va_67 */
-    scanf("%lli",(__int64 *)(& x_21)); /* scanf_va_68 */
+    scanf("%lli",& x_21); /* scanf_va_68 */
     printf("%lli",x_21); /* printf_va_68 */
   }
   {
     uint_fast64_t x_22;
-    scanf("%llo",(unsigned __int64 *)(& x_22)); /* scanf_va_69 */
+    scanf("%llo",& x_22); /* scanf_va_69 */
     printf("%llo",x_22); /* printf_va_69 */
-    scanf("%llu",(unsigned __int64 *)(& x_22)); /* scanf_va_70 */
+    scanf("%llu",& x_22); /* scanf_va_70 */
     printf("%llu",x_22); /* printf_va_70 */
-    scanf("%llx",(unsigned __int64 *)(& x_22)); /* scanf_va_71 */
+    scanf("%llx",& x_22); /* scanf_va_71 */
     printf("%llx",x_22); /* printf_va_71 */
-    scanf("%llx",(unsigned __int64 *)(& x_22)); /* scanf_va_72 */
+    scanf("%llx",& x_22); /* scanf_va_72 */
     printf("%llX",x_22); /* printf_va_72 */
   }
   {
     intmax_t x_23;
-    scanf("%lld",(__int64 *)(& x_23)); /* scanf_va_73 */
+    scanf("%lld",& x_23); /* scanf_va_73 */
     printf("%lld",x_23); /* printf_va_73 */
-    scanf("%lli",(__int64 *)(& x_23)); /* scanf_va_74 */
+    scanf("%lli",& x_23); /* scanf_va_74 */
     printf("%lli",x_23); /* printf_va_74 */
   }
   {
     uintmax_t x_24;
-    scanf("%llo",(unsigned __int64 *)(& x_24)); /* scanf_va_75 */
+    scanf("%llo",& x_24); /* scanf_va_75 */
     printf("%llo",x_24); /* printf_va_75 */
-    scanf("%llu",(unsigned __int64 *)(& x_24)); /* scanf_va_76 */
+    scanf("%llu",& x_24); /* scanf_va_76 */
     printf("%llu",x_24); /* printf_va_76 */
-    scanf("%llx",(unsigned __int64 *)(& x_24)); /* scanf_va_77 */
+    scanf("%llx",& x_24); /* scanf_va_77 */
     printf("%llx",x_24); /* printf_va_77 */
-    scanf("%llx",(unsigned __int64 *)(& x_24)); /* scanf_va_78 */
+    scanf("%llx",& x_24); /* scanf_va_78 */
     printf("%llX",x_24); /* printf_va_78 */
   }
   {
     intptr_t x_25;
-    scanf("%lld",(__int64 *)(& x_25)); /* scanf_va_79 */
+    scanf("%lld",& x_25); /* scanf_va_79 */
     printf("%lld",x_25); /* printf_va_79 */
-    scanf("%lli",(__int64 *)(& x_25)); /* scanf_va_80 */
+    scanf("%lli",& x_25); /* scanf_va_80 */
     printf("%lli",x_25); /* printf_va_80 */
   }
   {
     uintptr_t x_26;
-    scanf("%llo",(unsigned __int64 *)(& x_26)); /* scanf_va_81 */
+    scanf("%llo",& x_26); /* scanf_va_81 */
     printf("%llo",x_26); /* printf_va_81 */
-    scanf("%llu",(unsigned __int64 *)(& x_26)); /* scanf_va_82 */
+    scanf("%llu",& x_26); /* scanf_va_82 */
     printf("%llu",x_26); /* printf_va_82 */
-    scanf("%llx",(unsigned __int64 *)(& x_26)); /* scanf_va_83 */
+    scanf("%llx",& x_26); /* scanf_va_83 */
     printf("%llx",x_26); /* printf_va_83 */
-    scanf("%llx",(unsigned __int64 *)(& x_26)); /* scanf_va_84 */
+    scanf("%llx",& x_26); /* scanf_va_84 */
     printf("%llX",x_26); /* printf_va_84 */
   }
   __retres = 0;
diff --git a/tests/syntax/oracle/type_compat_call.res.oracle b/tests/syntax/oracle/type_compat_call.res.oracle
index b6b486502d4..346233f20dd 100644
--- a/tests/syntax/oracle/type_compat_call.res.oracle
+++ b/tests/syntax/oracle/type_compat_call.res.oracle
@@ -1,12 +1,13 @@
 [kernel] Parsing type_compat_call.c (with preprocessing)
-[kernel:typing:incompatible-types-call] type_compat_call.c:14: Warning: 
-  expected 'int32_t *' but got argument of type 'int const *': & i
 [kernel:typing:incompatible-types-call] type_compat_call.c:18: Warning: 
+  expected 'int32_t *' but got argument of type 'int const *': & i
+[kernel:typing:incompatible-types-call] type_compat_call.c:22: Warning: 
   expected 'uint8_t const *' but got argument of type 'char const *': & c
-[kernel:typing:incompatible-types-call] type_compat_call.c:20: Warning: 
+[kernel:typing:incompatible-types-call] type_compat_call.c:24: Warning: 
   expected 'int8_t const *' but got argument of type 'char const *': & c
 /* Generated by Frama-C */
 #include "stdint.h"
+typedef uint8_t buf_content;
 void f(int32_t const *p);
 
 void g(int32_t * const p);
@@ -17,21 +18,25 @@ void m(int8_t const *p);
 
 void n(int volatile *p);
 
+void o(uint8_t *p);
+
 int main(void)
 {
   int __retres;
+  buf_content buf[3];
   int const i = 42;
-  f((int32_t const *)(& i));
+  f(& i);
   g((int32_t *)(& i));
   char const c = (char)'c';
   signed char const s = (signed char)'s';
   unsigned char const u = (unsigned char)'u';
   h((uint8_t const *)(& c));
-  h((uint8_t const *)(& u));
+  h(& u);
   m((int8_t const *)(& c));
-  m((int8_t const *)(& s));
+  m(& s);
   int j = 51;
   n((int volatile *)(& j));
+  o(buf);
   __retres = 0;
   return __retres;
 }
diff --git a/tests/syntax/type_compat_call.c b/tests/syntax/type_compat_call.c
index 67e0a6b3d37..b393221c5d8 100644
--- a/tests/syntax/type_compat_call.c
+++ b/tests/syntax/type_compat_call.c
@@ -3,11 +3,15 @@
  */
 #include <stdint.h>
 
+typedef uint8_t buf_content;
+
 void f(int32_t const *p);
 void g(int32_t *const p);
 void h(uint8_t const *p);
 void m(int8_t const *p);
-void n(int volatile *p);
+void n(int volatile* p);
+void o(uint8_t* p);
+
 int main() {
   int const i = 42;
   f(&i); // compatible
@@ -21,5 +25,7 @@ int main() {
   m(&s); // incompatible
   int j = 51;
   n(&j); // 'volatile' discarded: no warning
+  buf_content buf[3];
+  o(&buf[0]); // compatible
   return 0;
 }
-- 
GitLab