strict-aliasing

1зной

1ответ

Ограниченное сглаживание с использованием класса `ограничения` и` unique_ptr` в C++

Чтобы ограничить pointer aliasing, я использовал до сих пор классификатор типа __restrict__, как описано here, в разделе о расширениях C++, предоставляемых компилятором GNU GCC. Например, следующая фу

14зной

3ответ

Почему компиляторы больше не оптимизировать этот UB со строгим ступенчатости

Одним из первых результатов строгой ступенчатости на Google эта статья http://dbp-consulting.com/tutorials/StrictAliasing.html Одна интересная вещь, которую я заметил это: http://goo.gl/lPtIa5 uint32_

1зной

3ответ

Имеет ли доступ по ссылке нарушение строжайшего правила сглаживания?

Я знаю, что int* ptr = (int*)buffer (где buffer is char*) перерывы строгое сглаживание правила. Этот синтаксис int& ref = (int&)(*buffer) также нарушает правило? I had некоторые SEGFAULT из-за нарушен

0зной

2ответ

Можно ли выровнять структуры внутри объединения, чтобы применить к объединению для доступа к выравниванным полям?

Я пытаюсь обращал внимание на то, что именно вы получите от сервитута на выровненном переменных в C99: Exception to strict aliasing rule in C from 6.5.2.3 Structure and union members дадут ли вам карт

1зной

2ответ

Каким образом это делает структура поля ступенчатости код вызова Неопределенное поведение

Учитывая код: #include <stdlib.h> #include <stdint.h> typedef struct { int32_t x, y; } INTPAIR; typedef struct { int32_t w; INTPAIR xy; } INTANDPAIR; void foo(INTPAIR * s1, INTPAIR * s2) {

6зной

2ответ

ли какой-либо передача Составителей эффективного типа через тетср/memmove

В соответствии с N1570 6.5/6: Если значение копируются в объект, не имеющей объявленный типа, используя тетср или memmove или копируются в виде массива тип символа, то действительный тип измененного о

4зной

2ответ

Почему различение различных типов указателей вызывает TBAA (анализ псевдонимов на основе типа)?

Я читал это blog, а затем нашел код Я действительно не понимаю. Почему этот плохой код? float *P; void zero_array() { int i; for (i = 0; i < 10000; ++i) P[i] = 0.0f; } int main() {

0зной

1ответ

Причина, по которой эта ошибка reinterpret_cast падает

Фон: Я много работаю с двоичными данными, и мне часто приходится работать с необработанными указателями. Мне также часто нужен размер, чтобы я мог проверить, читаю/списываю границы (разумно, правильно

7зной

2ответ

Как переинтерпретировать последовательность байтов как структуру POD, не вызывая UB?

Предположим, что мы получаем некоторые данные как последовательность байтов и хотим переосмыслить эту последовательность как структуру (имея некоторые гарантии, что данные действительно находятся в пр