La programmation undefined-behavior

5

Comportement et points de séquence non définis

Que sont les «points de séquence»? Quelle est la relation entre un comportement indéfini et des points de séquence? J'utilise souvent des expressions amusantes et alambiquées comme a[++i] = i;pour me sentir mieux. Pourquoi devrais-je cesser de les utiliser? Si vous avez lu ceci, assurez-vous de visiter la question de …

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

14

Pourquoi ces constructions utilisent-elles un comportement non défini avant et après incrémentation?

#include <stdio.h> int main(void) { int i = 0; i = i++ + ++i; printf("%d\n", i); // 3 i = 1; i = (i++); printf("%d\n", i); // 2 Should be 1, no ? volatile int u = 0; u = u++ + ++u; printf("%d\n", u); // 1 u = 1; …

815 c increment undefined-behavior operator-precedence sequence-points

11

Quelle est la règle stricte d'alias?

Lorsqu'on pose des questions sur un comportement non défini commun en C , les gens se réfèrent parfois à la règle stricte d'alias. De quoi parlent-ils?

805 c undefined-behavior strict-aliasing type-punning

8

Comportement indéfini, non spécifié et défini par l'implémentation

Quel est le comportement indéfini en C et C ++? Qu'en est-il du comportement non spécifié et du comportement défini par l'implémentation? Quelle est la différence entre eux?

530 c++ c undefined-behavior unspecified-behavior implementation-defined-behavior

5

La norme C ++ permet-elle à un booléen non initialisé de planter un programme?

Je sais qu'un "comportement non défini" en C ++ peut à peu près permettre au compilateur de faire tout ce qu'il veut. Cependant, j'ai eu un crash qui m'a surpris, car j'ai supposé que le code était suffisamment sûr. Dans ce cas, le vrai problème ne s'est produit que sur …

500 c++ llvm undefined-behavior abi llvm-codegen

22

La variable locale non initialisée est-elle le générateur de nombres aléatoires le plus rapide?

Je sais que la variable locale non initialisée est un comportement indéfini ( UB ), et la valeur peut également avoir des représentations d'interruption qui peuvent affecter le fonctionnement ultérieur, mais parfois je veux utiliser le nombre aléatoire uniquement pour la représentation visuelle et ne les utiliserai pas dans d'autres …

329 c++ c undefined-behavior garbage

11

Pourquoi f (i = -1, i = -1) un comportement indéfini?

Je lisais sur l' ordre des violations d'évaluation , et ils donnent un exemple qui me laisse perplexe. 1) Si un effet secondaire sur un objet scalaire n'est pas séquencé par rapport à un autre effet secondaire sur le même objet scalaire, le comportement n'est pas défini. // snip f(i …

267 c++ language-lawyer undefined-behavior

14

Pourquoi cela pour la boucle se termine-t-il sur certaines plates-formes et pas sur d'autres?

J'ai récemment commencé à apprendre le C et je prends un cours avec C comme sujet. Je joue actuellement avec des boucles et je rencontre un comportement étrange que je ne sais pas expliquer. #include <stdio.h> int main() { int array[10],i; for (i = 0; i <=10 ; i++) { …

240 c debugging undefined-behavior buffer-overflow

5

Pourquoi le débordement d'entier non signé est-il défini, mais pas le débordement d'entier signé?

Le débordement d'entier non signé est bien défini par les normes C et C ++. Par exemple, la norme C99 ( §6.2.5/9) indique Un calcul impliquant des opérandes non signés ne peut jamais déborder, car un résultat qui ne peut pas être représenté par le type entier non signé résultant …

210 c++ c undefined-behavior integer-overflow

11

Quels sont tous les comportements non définis communs qu'un programmeur C ++ devrait connaître? [fermé]

Il est difficile de dire ce qui est demandé ici. Cette question est ambiguë, vague, incomplète, trop large ou rhétorique et on ne peut raisonnablement y répondre sous sa forme actuelle. Pour obtenir de l'aide pour clarifier cette question afin qu'elle puisse être rouverte, visitez le centre d'aide . Fermé …

201 c++ undefined undefined-behavior c++-faq

5

Pourquoi cette boucle produit-elle «avertissement: l'itération 3u appelle un comportement indéfini» et produit plus de 4 lignes?

Compiler ceci: #include <iostream> int main() { for (int i = 0; i < 4; ++i) std::cout << i*1000000000 << std::endl; } et gccproduit l'avertissement suivant: warning: iteration 3u invokes undefined behavior [-Waggressive-loop-optimizations] std::cout << i*1000000000 << std::endl; ^ Je comprends qu'il y a un débordement d'entier signé. Ce que …

162 c++ gcc undefined-behavior

8

Optimisation d'un "while (1)"; en C ++ 0x

Mis à jour, voir ci-dessous! J'ai entendu et lu que C ++ 0x permet à un compilateur d'imprimer "Hello" pour l'extrait suivant #include <iostream> int main() { while(1) ; std::cout << "Hello" << std::endl; } Cela a apparemment quelque chose à voir avec les threads et les capacités d'optimisation. Il …

153 c++ loops c++11 language-lawyer undefined-behavior

5

Pourquoi l'optimiseur amélioré GCC 6 rompt-il le code C ++ pratique?

GCC 6 a une nouvelle fonctionnalité d'optimisation : il suppose que ce thisn'est toujours pas nul et optimise en fonction de cela. La propagation de la plage de valeurs suppose désormais que le pointeur this des fonctions membres C ++ est non nul. Cela élimine les vérifications de pointeurs nulles …

148 c++ gcc compiler-optimization undefined-behavior

6

Pourquoi un débordement d'entier sur x86 avec GCC provoque-t-il une boucle infinie?

Le code suivant entre dans une boucle infinie sur GCC: #include <iostream> using namespace std; int main(){ int i = 0x10000000; int c = 0; do{ c++; i += i; cout << i << endl; }while (i > 0); cout << c << endl; return 0; } Voici donc l'affaire: …

129 c++ c gcc x86 undefined-behavior

5

Accès à un membre du syndicat inactif et comportement indéfini?

J'avais l'impression que l'accès à un union membre autre que le dernier ensemble est UB, mais je n'arrive pas à trouver une référence solide (autre que des réponses affirmant que c'est UB mais sans aucun support de la norme). Alors, est-ce un comportement non défini?

129 c++ undefined-behavior language-lawyer unions

Questions marquées «undefined-behavior»