[RTEMS Project] #3384: Change int32_t to int

[RTEMS trac]

#3384: Change int32_t to int
-----------------------------+------------------------------
 Reporter:  Sebastian Huber  |       Owner:  Sebastian Huber
     Type:  enhancement      |      Status:  assigned
 Priority:  normal           |   Milestone:  5.1
Component:  tool/gcc         |     Version:
 Severity:  normal           |  Resolution:
 Keywords:                   |  Blocked By:
 Blocking:                   |
-----------------------------+------------------------------

Comment (by Sebastian Huber):

 See newlib-stdint.h in GCC sources:
 {{{
 [...]
 #define INT32_TYPE (STDINT_LONG32 ? "long int" : INT_TYPE_SIZE == 32 ?
 "int" : SHORT_TYPE_SIZE == 32 ? "short int" : CHAR_TYPE_SIZE == 32 ?
 "signed char" : 0)
 [...]
 }}}
 So, 16-bit targets should not use this option.

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