Управляйте определением

Объединения не должны использоваться.

Объяснение

Используя объединения, чтобы сохранить значение может привести к неверному истолкованию значения и привести к неопределенному поведению. Например:

union Data{
	int i;
	double d;
};
void bar_int(int);
void bar_double(double);
void foo(void){
	Data var;
	var.d = 3.1416;
	bar_int(var.d);//Undefined Behavior
} 

В некоторых случаях использование объединений может быть необходимым, чтобы увеличить КПД. В таких случаях используйте объединения после документирования соответствующих заданных реализацией поведений компилятора. В предыдущем случае, перед использованием union, консультируйтесь с руководством компилятора, который вы используете и документ, как компилятор реагирует на интерпретацию double как int.

Реализация Polyspace

Polyspace^® отмечает объявление union. Вы можете рассмотреть использование union необходимый или приемлемый в вашем коде. В таких случаях выровняйте по ширине нарушение путем аннотирования результата или при помощи комментариев к коду. См.:

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.