#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
_______________________________________________ bugs mailing list bugs@rtems.org http://lists.rtems.org/mailman/listinfo/bugs