VS
зарезервированы это означает что компилятор может предопределить их и мне не говорить об этом
«зарезервированы» значит, что тебе запрещено иметь такие идентификаторы, и компилятор не обязан это диагностировать
Size: a a a
2020 August 08
VS
раз в стандарте написано no diagnostics required, значит, нет надежного способа диагностировать нарушение этого требования
VS
или он пока не найден
s
«зарезервированы» значит, что тебе запрещено иметь такие идентификаторы, и компилятор не обязан это диагностировать
запрещено и UB - разные вещи
s
поведение будет определенным
s
и определяться дефайнами
s
то что это не то что ты ожидаешь не делает это UB
VS
запрещено и UB - разные вещи
запрещено значит, что стандарт не описывает поведение программ, которые не соблюдают этот запрет
VS
внезапно очень похоже на undefined behavior, не правда ли?
s
неопределенное поведение это например переполнение стека
s
на винде тебе вылетит segmentation fault
VS
неопределенное поведение это например переполнение стека
стека в стандарте не существует, правда
s
а на bare metal ниче не вылетит
s
просто будет писать в другой сегмент
s
это не определяется стандартом
s
поэтому и называется неопределенным поведением
s
то что ты используешь в своей программе используемые компиляторами дефайны - не делает его неопределенным
VS
If a program contains a violation of a rule for which no diagnostic is required, this document places no requirement on implementations with respect to that program.
s
#if defined ( __CC_ARM ) /* Keil */
#define CODESECT AREA ||.text||, CODE, READONLY, ALIGN=2
#define LABEL
#elif defined ( __GNUC__ ) /* GCC */
#define THUMB .thumb
#define CODESECT .section .text
#define EXPORT .global
#define PROC :
#define LABEL :
#define ENDP
#define END
.syntax unified
#elif defined ( __IASMARM__ ) /* IAR */
#define CODESECT SECTION `.text`:CODE
#define PROC
#define LABEL
#define ENDP
#define EXPORT PUBLIC
#elif defined ( __CSMC__ ) /* Cosmic */
#define CODESECT switch .text
#define THUMB
#define EXPORT xdef
#define PROC :
#define LABEL :
#define ENDP
#define arm_bitreversal_32 _arm_bitreversal_32
#elif defined ( __TI_ARM__ ) /* TI ARM */
#define THUMB .thumb
#define CODESECT .text
#define EXPORT .global
#define PROC : .asmfunc
#define LABEL :
#define ENDP .endasmfunc
#define END
#endif
CODESECT
THUMB
s
вот например ассемблерный файл из third party библиотеки которую я к проекту подключаю