undefined-behavior

5calore

1risposta

Codice C con risultati non definiti, il compilatore genera codice non valido (con -O3)

So che quando si eseguono determinate operazioni in un programma C, i risultati non sono definiti. Tuttavia, il compilatore non dovrebbe generare codice (macchina) non valido, giusto? Sarebbe ragionev

6calore

1risposta

Scambia gli interi tramite XOR in una riga singola. È davvero permesso in C++ 11?

Non riesco ancora a capire se l'espressione x ^= y ^= x ^= y; valida in C++ 11 (come si dice in questo thread) o che porti a un comportamento non definito? Le ragioni addotte dal collegamento sembrano

6calore

2risposta

L'UB garantito può essere rifiutato al momento della compilazione?

considerare questo programma: #include <stdio.h> int main(void) { int x; while (1 == scanf("%d", &x)) printf("%c\n", "hello"[x]); } Il compilatore deve compilare questo successo

10calore

3risposta

L'uso dell'operatore bitwise non (~) sui valori booleani richiama il comportamento non definito?

Se un programma C++ applica l'operatore bitwise-not (~) a un valore booleano, viene richiamato il comportamento non definito? E.g. il seguente programma è ben definito? bool f = false; bool f2 = ~f;

22calore

2risposta

Does * & ++ causo un comportamento non definito in C++ 03?

In another answer è stato affermato che prima di C++ 11, dove i è un int, quindi utilizzare l'espressione: *&++i causato comportamento indefinito. È vero? Sull'altra risposta c'era una piccola discu

14calore

1risposta

È ben definito il cast di xvalues su lvalue per passare alle funzioni?

Recently I've discovered che a volte essere in grado di convertire i valori effettivi temporaneamente in lvalue può essere utile per me. Sto usando il seguente strumento: #include <type_traits> temp

5calore

1risposta

Comportamento indefinito degli operatori nell'algoritmo di scambio XOR?

void swap(int* a, int* b) { if (a != b) *a ^= *b ^= *a ^= *b; } Come sopra *a ^= *b ^= *a ^= *b è solo una scorciatoia per *a = *a^(*b = *b^(*a = *a^*b)), potrebbe (ad esempio) il 2 ° *a

9calore

1risposta

Aliasing rigoroso in Rust?

La mia comprensione è che il codice seguente ha un comportamento non definito in C++ a causa di qualcosa chiamato "regola di aliasing rigoroso". #include <cstdint> enum Foo : int16_t {}; void test

6calore

2risposta

È un carico disallineato a causa di un comportamento non definito del cast?

È un carico disallineato a causa di un cast dal comportamento non definito void*? Ecco quello che sto vedendo con Clang e le sue disinfettanti: bufhelp.h:146:29: runtime error: load of misaligned addr

12calore

1risposta

Questo codice è davvero indefinito, come sembra indicare Clang?

Ho acceso -fsanitize=undefined sul mio progetto che utilizza Catch, la libreria di test delle unità. Una linea di Catch è stata segnalata come causa di un comportamento indefinito da questo flag. Sono