Programación undefined-behavior

2

¿Cuándo la invocación de una función miembro en una instancia nula da como resultado un comportamiento indefinido?

Considere el siguiente código: #include <iostream> struct foo { // (a): void bar() { std::cout << "gman was here" << std::endl; } // (b): void baz() { x = 5; } int x; }; int main() { foo* f = 0; f->bar(); // (a) f->baz(); // (b) } Esperamos (b)fallar, …

120 c++ undefined-behavior language-lawyer standards-compliance null-pointer

9

¿Cómo obtuve un valor mayor a 8 bits de tamaño de un entero de 8 bits?

Localicé un error extremadamente desagradable que se escondía detrás de esta pequeña joya. Soy consciente de que según la especificación de C ++, los desbordamientos firmados son un comportamiento indefinido, pero solo cuando el desbordamiento se produce cuando el valor se extiende al ancho de bits sizeof(int). Según tengo entendido, …

118 c++ gcc undefined-behavior

8

¿El "truco de estructura" es un comportamiento técnicamente indefinido?

Lo que estoy preguntando es el conocido truco "el último miembro de una estructura tiene longitud variable". Es algo parecido a esto: struct T { int len; char s[1]; }; struct T *p = malloc(sizeof(struct T) + 100); p->len = 100; strcpy(p->s, "hello world"); Debido a la forma en que …

111 c undefined-behavior c89

2

Está usando malloc para un comportamiento indefinido int hasta C ++ 20

Me dijeron que el siguiente código tiene un comportamiento indefinido hasta C ++ 20: int *p = (int*)malloc(sizeof(int)); *p = 10; ¿Es eso cierto? El argumento fue que la vida útil del intobjeto no se inicia antes de asignarle el valor ( P0593R6 ). Para solucionar el problema, se newdebe …

96 c++ malloc undefined-behavior c++20

3

¿Imprimir punteros nulos con% p es un comportamiento indefinido?

¿Es un comportamiento indefinido imprimir punteros nulos con el %pespecificador de conversión? #include <stdio.h> int main(void) { void *p = NULL; printf("%p", p); return 0; } La pregunta se aplica al estándar C y no a las implementaciones C.

93 c language-lawyer c99 undefined-behavior c11

8

¿Se pueden asumir las ramas con comportamiento indefinido inalcanzables y optimizarlas como código muerto?

Considere la siguiente declaración: *((char*)NULL) = 0; //undefined behavior Claramente invoca un comportamiento indefinido. ¿La existencia de tal declaración en un programa dado significa que todo el programa no está definido o que el comportamiento solo se vuelve indefinido una vez que el flujo de control llega a esta declaración? …

88 c++ language-lawyer undefined-behavior dead-code unreachable-code

10

¿Por qué printf ("% f", 0); dar un comportamiento indefinido?

La declaración printf("%f\n",0.0f); imprime 0. Sin embargo, la declaración printf("%f\n",0); imprime valores aleatorios. Me doy cuenta de que estoy exhibiendo algún tipo de comportamiento indefinido, pero no puedo entender por qué específicamente. Un valor de punto flotante en el que todos los bits son 0 sigue siendo válido floatcon un …

87 c++ c printf implicit-conversion undefined-behavior

12

¿En qué punto del ciclo el desbordamiento de enteros se convierte en un comportamiento indefinido?

Este es un ejemplo para ilustrar mi pregunta que involucra un código mucho más complicado que no puedo publicar aquí. #include <stdio.h> int main() { int a = 0; for (int i = 0; i < 3; i++) { printf("Hello\n"); a = a + 1000000000; } } Este programa contiene …

86 c++ c undefined-behavior integer-overflow

3

¿Es legal que el código fuente que contiene un comportamiento indefinido bloquee el compilador?

Digamos que voy a compilar un código fuente de C ++ mal escrito que invoca un comportamiento indefinido, y por lo tanto (como dicen) "cualquier cosa puede pasar". Desde la perspectiva de lo que la especificación del lenguaje C ++ considera aceptable en un compilador "conforme", "cualquier cosa" en este …

85 c++ language-lawyer undefined-behavior

5

Comportamiento indefinido y puntos de secuencia recargados

Considere este tema como una secuela del siguiente tema: Entrega anterior Comportamiento indefinido y puntos de secuencia Repasemos esta expresión divertida y complicada (las frases en cursiva se tomaron del tema anterior * sonrisa *): i += ++i; Decimos que esto invoca un comportamiento indefinido. Supongo que cuando digo esto, …

84 c++ undefined-behavior c++-faq sequence-points

4

El programa se comporta de forma extraña en los IDE en línea

Me he encontrado con el siguiente programa C ++ ( fuente ): #include <iostream> int main() { for (int i = 0; i < 300; i++) std::cout << i << " " << i * 12345678 << std::endl; } Parece un programa simple y da la salida correcta en mi …

82 c++ undefined-behavior integer-overflow

7

(¿Por qué) está utilizando una variable no inicializada un comportamiento indefinido?

Si tengo: unsigned int x; x -= x; está claro que x debería ser cero después de esta expresión, pero dondequiera que mire, dicen que el comportamiento de este código no está definido, no solo el valor de x(hasta antes de la resta). Dos preguntas: ¿El comportamiento de este código …

82 c undefined-behavior initialization

3

¿El desbordamiento de enteros con signo sigue siendo un comportamiento indefinido en C ++?

Como sabemos, el desbordamiento de enteros con signo es un comportamiento indefinido . Pero hay algo interesante en la cstdintdocumentación de C ++ 11 : tipo entero con signo con un ancho de exactamente 8, 16, 32 y 64 bits respectivamente sin bits de relleno y usando el complemento a …

82 c++ c++11 undefined-behavior integer-overflow

12

Detectando desbordamiento firmado en C / C ++

A primera vista, esta pregunta puede parecer un duplicado de ¿Cómo detectar el desbordamiento de enteros? , sin embargo, en realidad es significativamente diferente. Descubrí que si bien detectar un desbordamiento de enteros sin firmar es bastante trivial, detectar un desbordamiento con signo en C / C ++ es en …

82 c++ c undefined-behavior signed integer-overflow

4

¿Por qué 'd / = d' no arroja una excepción de división por cero cuando d == 0?

No entiendo muy bien por qué no obtengo una excepción de división por cero: int d = 0; d /= d; Esperaba obtener una división por excepción cero, pero en cambio d == 1. ¿Por qué no d /= dlanza una excepción de división por cero cuando d == 0?

81 c++ compiler-optimization undefined-behavior division divide-by-zero

Preguntas etiquetadas con undefined-behavior