strict-aliasing

17Ciepło

1Odpowiedz

Wpisz wykrawanie z pustką * bez łamania zasady ścisłego aliasingu w C99

Niedawno natknąłem się na regułę ścisłego aliasingu, ale mam problem ze zrozumieniem, jak używać typu void * do wykonywania typowania bez naruszania reguły. Wiem, że to łamie zasadę: int x = 0xDEADBEE

7Ciepło

3Odpowiedz

Jak utworzyć tablicę uint8_t, która nie podważa ścisłego aliasingu?

ja niedawno zadał to pytanie: Using this pointer causes strange deoptimization in hot loop Problem polegał na tym, że pisałem do tablicy typu uint8_t i kompilator traktuje go tak, jakby to mogło alias

6Ciepło

1Odpowiedz

Przeciwne słowo kluczowe "restrict" w C?

Ponieważ ścisłe aliasingowanie może pomóc w lepszej optymalizacji kompilatora, C99 wprowadziło słowo kluczowe restrict, które może być użyte jako kwalifikator zmiennej, jeśli programiści gwarantują, ż

10Ciepło

1Odpowiedz

Czy rzutowanie tablicy znaków na inny typ narusza zasady ścisłego wygładzania?

Uważają, że te dwie funkcje: int f1() { alignas(int) char buf[sizeof(int)] = {}; return *reinterpret_cast<int*>(buf); } int f2() { alignas(int) char buf[sizeof(int)] = {}; cha

10Ciepło

1Odpowiedz

Strict aliasing, -ffast-matematyka i SSE

Rozważmy następujący program: #include <iostream> #include <cmath> #include <cstring> #include <xmmintrin.h> using namespace std; int main() { // 4 float32s. __m128 nans; // Set

8Ciepło

1Odpowiedz

Czy to jest w porządku dla int ** i const int ** dla aliasu?

To jest moje zrozumienie, że coś takiego jest w porządku: const int ci = 42; const int *cip = &ci; int *ip = (int *)cip; int j = *ip; Co na ten temat? const int ci = 42; const int *cip = &ci; c

6Ciepło

2Odpowiedz

Ścisłe naruszenie aliasingu

Czy następujący program narusza zasadę ścisłego aliasingu? #include <cstdint> int main() { double d = 0.1; //std::int64_t n = *reinterpret_cast<std::int64_t*>(&d); // aliasing violation

5Ciepło

1Odpowiedz

Jak uniknąć ścisłych błędów aliasingu podczas korzystania z polecenia adjust_storage

Używam std::aligned_storage jako pamięci wewnętrznej dla wariantu szablonu. Problem polega na tym, że po włączeniu -O2 w gcc zacznę otrzymywać ostrzeżenia o "przeszkadzającym wskaźniku typu" dereferen

6Ciepło

1Odpowiedz

Czy UB odrzuca const i odczytuje wartość?

Wyjaśnienie: Moje pytanie brzmi: Czy UB go używać lwartością typu int uzyskać dostęp do obiektu skutecznej typu const int? To pytanie ma dwa przykłady kodu, które używają lwartością typu int uzyskać d

6Ciepło

3Odpowiedz

Pisanie funkcji ogólnej w celu wykrycia, czy tablica wskaźników zawiera NULL

Chciałbym napisać funkcję ogólną, aby wykryć, czy tablica wskaźników do jakiegoś dowolnego typu zawiera NULL. Moją pierwszą próbą było coś wzdłuż tych linii: bool find_null (void *ptrs, size_t num_ptr