$ clang 
R_09_01.c:48:10: warning: variable 'x' is uninitialized when used here [-Wuninitialized]
     x = x + 1u;      /* Non-compliant - x has not been been assigned a value */
         ^
R_09_01.c:46:6: note: variable 'x' is declared here
     uint16_t x = 10u;
     ^
1 warning generated.
R_09_02.c:22:29: warning: suggest braces around initialization of subobject [-Wmissing-braces]
   int16_t y1[ 3 ][ 2 ] = { 1, 2, 0, 0, 5, 6 };             /* Non-compliant */
                            ^~~~
                            {   }
R_09_02.c:22:35: warning: suggest braces around initialization of subobject [-Wmissing-braces]
   int16_t y1[ 3 ][ 2 ] = { 1, 2, 0, 0, 5, 6 };             /* Non-compliant */
                                  ^~~~
                                  {   }
R_09_02.c:22:41: warning: suggest braces around initialization of subobject [-Wmissing-braces]
   int16_t y1[ 3 ][ 2 ] = { 1, 2, 0, 0, 5, 6 };             /* Non-compliant */
                                        ^~~~
                                        {   }
R_09_02.c:33:31: warning: suggest braces around initialization of subobject [-Wmissing-braces]
   float32_t a1[ 3 ][ 2 ] = { 0 };                         /* Compliant      */
                              ^
                              {}
4 warnings generated.
R_09_03.c:39:34: warning: suggest braces around initialization of subobject [-Wmissing-braces]
   uint16_t au_3_2[ 3 ][ 2 ] = { 0U };     /* Non-compliant */
                                 ^~
                                 { }
R_09_03.c:43:36: warning: suggest braces around initialization of subobject [-Wmissing-braces]
   float32_t af_3_2[ 3 ][ 2 ]  = { 0.0F }; /* Non-compliant */
                                   ^~~~
                                   {   }
R_09_03.c:45:33: warning: suggest braces around initialization of subobject [-Wmissing-braces]
   float32_t arr2[ 3 ][ 2 ] = { 0 };  /* Compliant by exception 1 */
                                ^
                                {}
3 warnings generated.
R_09_04.c:25:52: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides]
    uint16_t a[ 2 ] = { [ 0 ] = *glob_p++, [ 0 ] = 1u };    /* Non-compliant, also breaks R.13.3, R.13.4 */
                                                   ^~
R_09_04.c:25:33: note: previous initialization is here
    uint16_t a[ 2 ] = { [ 0 ] = *glob_p++, [ 0 ] = 1u };    /* Non-compliant, also breaks R.13.3, R.13.4 */
                                ^~~~~~~~~
R_09_04.c:41:28: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides]
                     [2] = -2, [4] = -1 };                      /* Non-compliant: a3 is -5, -4, -2, 0, -1      */
                           ^~
R_09_04.c:40:48: note: previous initialization is here
   int32_t a3[5] = { [0] = -5, [1] = -4, [2] = -3,
                                               ^~
R_09_04.c:58:51: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides]
   struct mystruct s3 = { .a = 100, .b = -1, .a = 42, .d = 999 };         /* Non-compliant: s4 is 42, -1, 0, 999         */
                                                  ^~
R_09_04.c:58:32: note: previous initialization is here
   struct mystruct s3 = { .a = 100, .b = -1, .a = 42, .d = 999 };         /* Non-compliant: s4 is 42, -1, 0, 999         */
                               ^~~
3 warnings generated.

$ gcc 
R_09_01.c: In function 'jmp_over_init':
R_09_01.c:48:8: warning: 'x' is used uninitialized in this function [-Wuninitialized]
   48 |      x = x + 1u;      /* Non-compliant - x has not been been assigned a value */
      |      ~~^~~~~~~~
R_09_02.c: In function 'R_9_2':
R_09_02.c:22:27: warning: missing braces around initializer [-Wmissing-braces]
   22 |    int16_t y1[ 3 ][ 2 ] = { 1, 2, 0, 0, 5, 6 };             /* Non-compliant */
      |                           ^
      |                             {   } {   } {    }
R_09_03.c: In function 'R_9_3':
R_09_03.c:43:34: warning: missing braces around initializer [-Wmissing-braces]
   43 |    float32_t af_3_2[ 3 ][ 2 ]  = { 0.0F }; /* Non-compliant */
      |                                  ^
      |                                    {    }
R_09_04.c: In function 'f4':
R_09_04.c:25:52: warning: initialized field with side-effects overwritten [-Woverride-init-side-effects]
   25 |     uint16_t a[ 2 ] = { [ 0 ] = *glob_p++, [ 0 ] = 1u };    /* Non-compliant, also breaks R.13.3, R.13.4 */
      |                                                    ^~
R_09_04.c:25:52: note: (near initialization for 'a[0]')
In file included from clear_lib.c:10:
clear_lib.c: In function 'g':
clear_lib.c:261:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  261 |  PR1((int)p,d);
      |      ^
misra_c.h:66:54: note: in definition of macro 'PR1'
   66 | #define PR1(a,b) (void)printf(" "#a  " = %" #b "\n", a)
      |                                                      ^
clear_lib.c: In function 'use_const_volatile_char_ptr':
clear_lib.c:274:6: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  274 |  PR1((int)cv_cp,d);
      |      ^
misra_c.h:66:54: note: in definition of macro 'PR1'
   66 | #define PR1(a,b) (void)printf(" "#a  " = %" #b "\n", a)
      |                                                      ^

$ docker run it kaizenjapan/misra_c_2012_example /bin/bash