Merge branch 'fix/machdeps-anonstruct' into 'master'

[Kernel] avoid anonymous struct in machdep

See merge request frama-c/frama-c!4870

share/machdeps/machdep_avr_16.yaml

@@ -9,7 +9,7 @@ alignof_longlong: 1
 alignof_ptr: 1
 alignof_short: 2
 alignof_str: 1
-max_align_t: struct {int __max_align; } __attribute__ ((aligned (8)))
+max_align_t: struct __machdep_max_align_t { int __max_align; } __attribute__ ((aligned (8)))
 bufsiz: '1024'
 char_is_unsigned: false
 compiler: clang

share/machdeps/machdep_avr_8.yaml

@@ -9,7 +9,7 @@ alignof_longlong: 1
 alignof_ptr: 1
 alignof_short: 2
 alignof_str: 1
-max_align_t: struct {int __max_align; } __attribute__ ((aligned (8)))
+max_align_t: struct __machdep_max_align_t { int __max_align; } __attribute__ ((aligned (8)))
 bufsiz: '1024'
 char_is_unsigned: false
 compiler: clang

share/machdeps/machdep_gcc_x86_16.yaml

@@ -9,7 +9,7 @@ alignof_longlong: 4
 alignof_ptr: 4
 alignof_short: 2
 alignof_str: 1
-max_align_t: struct {int __max_align; } __attribute__ ((aligned (16)))
+max_align_t: struct __machdep_max_align_t { int __max_align; } __attribute__ ((aligned (16)))
 char_is_unsigned: false
 compiler: gcc
 cpp_arch_flags:

share/machdeps/machdep_gcc_x86_32.yaml

@@ -9,7 +9,7 @@ alignof_longlong: 4
 alignof_ptr: 4
 alignof_short: 2
 alignof_str: 1
-max_align_t: struct {int __max_align; } __attribute__ ((aligned (16)))
+max_align_t: struct __machdep_max_align_t { int __max_align; } __attribute__ ((aligned (16)))
 bufsiz: '8192'
 char_is_unsigned: false
 compiler: gcc

share/machdeps/machdep_x86_16.yaml

@@ -9,7 +9,7 @@ alignof_longlong: 4
 alignof_ptr: 4
 alignof_short: 2
 alignof_str: 1
-max_align_t: struct {int __max_align; } __attribute__ ((aligned (16)))
+max_align_t: struct __machdep_max_align_t { int __max_align; } __attribute__ ((aligned (16)))
 char_is_unsigned: false
 compiler: generic
 cpp_arch_flags:

share/machdeps/machdep_x86_32.yaml

@@ -9,7 +9,7 @@ alignof_longlong: 4
 alignof_ptr: 4
 alignof_short: 2
 alignof_str: 1
-max_align_t: struct {int __max_align; } __attribute__ ((aligned (16)))
+max_align_t: struct __machdep_max_align_t { int __max_align; } __attribute__ ((aligned (16)))
 bufsiz: '8192'
 char_is_unsigned: false
 compiler: generic

tests/syntax/oracle/gnu-asm-aesni.res.oracle

@@ -8,7 +8,7 @@
 #include "string.h"
 #include "strings.h"
 typedef unsigned short byte;
-union __anonunion_PROPERLY_ALIGNED_TYPE_2 {
+union __anonunion_PROPERLY_ALIGNED_TYPE_1 {
    int a ;
    short b ;
    char c[1] ;
@@ -16,23 +16,23 @@ union __anonunion_PROPERLY_ALIGNED_TYPE_2 {
    float f ;
    double g ;
 };
-typedef union __anonunion_PROPERLY_ALIGNED_TYPE_2 PROPERLY_ALIGNED_TYPE;
-union __anonunion_u1_4 {
+typedef union __anonunion_PROPERLY_ALIGNED_TYPE_1 PROPERLY_ALIGNED_TYPE;
+union __anonunion_u1_3 {
    PROPERLY_ALIGNED_TYPE dummy ;
    byte keyschedule[14 + 1][4][4] ;
 };
-union __anonunion_u2_5 {
+union __anonunion_u2_4 {
    PROPERLY_ALIGNED_TYPE dummy ;
    byte keyschedule[14 + 1][4][4] ;
 };
-struct __anonstruct_RIJNDAEL_context_3 {
-   union __anonunion_u1_4 u1 ;
-   union __anonunion_u2_5 u2 ;
+struct __anonstruct_RIJNDAEL_context_2 {
+   union __anonunion_u1_3 u1 ;
+   union __anonunion_u2_4 u2 ;
    int rounds ;
    unsigned int decryption_prepared : 1 ;
    unsigned int use_aesni : 1 ;
 };
-typedef struct __anonstruct_RIJNDAEL_context_3 RIJNDAEL_context;
+typedef struct __anonstruct_RIJNDAEL_context_2 RIJNDAEL_context;
 __inline static void do_aesni_enc(RIJNDAEL_context const *ctx,
                                   unsigned char *b, unsigned char const *a)
 {