[RTEMS Project] #3799: confdefs.h declares an array with zero elements, that's invalid C

[RTEMS trac]

#3799: confdefs.h declares an array with zero elements, that's invalid C
-------------------------------+---------------------
 Reporter:  Jens Schweikhardt  |       Owner:  (none)
     Type:  defect             |      Status:  new
 Priority:  normal             |   Milestone:
Component:  rtems              |     Version:
 Severity:  normal             |  Resolution:
 Keywords:  confdefs.h array   |  Blocked By:
 Blocking:                     |
-------------------------------+---------------------

Comment (by Jens Schweikhardt):

 In general, Polyspace needs to see the same code the compiler sees. This
 requires that Polyspace needs to be told the compiler's predefined macros.
 With gcc or clang that's easy. To do that, ask for the predefined macros
 with `$(CC) -E -dM -x c /dev/null` and turn that into `-D` options for
 Polyspace.

 In addition, you might want to fix/work around various language extensions
 Polyspace does not understand. I use

 {{{
         -D __extension__=
         -D __builtin_va_list=void*
         -D __builtin_offsetof(t,m)=0
         -D _Noreturn=
         -D __restrict=
 }}}

 but this might need to be tweaked for your particular compiler and
 Polyspace release.

--
Ticket URL: <http://devel.rtems.org/ticket/3799#comment:5>
RTEMS Project <http://www.rtems.org/>
RTEMS Project