Questions marquées «undefined-behavior»

Le résultat imprévisible de la compilation ou de l'exécution d'un programme qui enfreint les règles du langage que ni le compilateur, ni l'interpréteur ni le système d'exécution ne doivent appliquer. N'UTILISEZ PAS cette balise pour des questions concernant le type de données ou la valeur de retour de "indéfini". Dans ces cas, la balise [undefined] doit être utilisée à la place.

Pourquoi une fonction constante permet-elle un comportement indéfini?

Il existe une propriété très soignée d'expressions constantes en C ++: leur évaluation ne peut pas avoir un comportement indéfini ( 7.7.4.7 ): Une expression e est une expression constante de base à moins que l'évaluation de e, suivant les règles de la machine abstraite ([intro.execution]), n'évalue l'un des éléments …

16 c++ undefined-behavior c++20 consteval

Un programme qui ne termine jamais un programme C ++ valide?

Faut-il terminer un programme? En d'autres termes, un programme qui s'exécute pour toujours Comportement indéfini techniquement? Notez qu'il ne s'agit pas de boucles vides. Parler de programmes qui font des "trucs" (c'est-à-dire un comportement observable) pour toujours. Par exemple quelque chose comme ça: int main() { while (true) { try …

15 c++ language-lawyer undefined-behavior

Appel de fonction avec pointeur sur non-const et argument pointeur sur const de la même adresse

Je veux écrire une fonction qui entre un tableau de données et génère un autre tableau de données à l'aide de pointeurs. Je me demande quel est le résultat si les deux srcet dstpointe à la même adresse parce que je sais compilateur peut optimiser pour const. S'agit-il d'un comportement …

14 c++ c const undefined-behavior

Comportement indéfini possible dans l'implémentation primitive de static_vector

tl; dr: Je pense que mon static_vector a un comportement indéfini, mais je ne le trouve pas. Ce problème est sur Microsoft Visual C ++ 17. J'ai cette implémentation static_vector simple et inachevée, c'est-à-dire un vecteur avec une capacité fixe qui peut être allouée en pile. Il s'agit d'un programme …

12 c++ segmentation-fault c++17 undefined-behavior

`String.assign (string.data (), 5)` est-il bien défini ou UB?

Un collègue voulait écrire ceci: std::string_view strip_whitespace(std::string_view sv); std::string line = "hello "; line = strip_whitespace(line); J'ai dit que le retour string_viewme mettait mal à l'aise a priori , et en plus, le pseudonyme ici me semblait UB. Je peux dire avec certitude que line = strip_whitespace(line)dans ce cas est …

11 c++ stl undefined-behavior

Capture un objet nouvellement construit par un comportement non défini const ref

Est-ce que l'exemple suivant (artificiel) est correct ou est-ce un comportement non défini: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

11 c++ c++11 const undefined-behavior

Que se passe-t-il si un comportement C ++ non défini rencontre un comportement défini C?

J'ai un *.cppfichier que je compile avec C ++ (pas un compilateur C). La fonction contenant repose sur un cast (voir dernière ligne) qui semble être défini en C (veuillez corriger si je me trompe!), Mais pas en C ++ pour ce type spécial. [...] C++ code [...] struct sockaddr_in …

10 c++ c undefined-behavior

GCC ne signale pas un appel lambda constexpr mal formé

Voici deux cas de test pour le comportement indéfini, exprimés en IIFE (Immediately Called Lambda-Axpression): constexpr auto test3 = []{ int* p{}; { int x{}; p = &x; } return *p; // Undefined Behaviour }(); // IIFE constexpr auto test4 = []{ int x = std::numeric_limits<int>::min(); int y = -x; …

9 c++ undefined-behavior constexpr avr-gcc

«Instruction matérielle illégale» à partir d'un code très simple

En enquêtant sur une affirmation douteuse , j'ai écrit ce petit programme de testnoway.c int proveit() { unsigned int n = 0; while (1) n++; return 0; } int main() { proveit(); return 0; } En testant cela, je reçois: $ clang -O noway.c $ ./a.out zsh: illegal hardware instruction …

9 c standards undefined-behavior

Casting d'une référence de fonction produisant un pointeur invalide?

Je recherche une erreur dans le code tiers et je l'ai réduite à quelque chose dans le sens de. use libc::c_void; pub unsafe fn foo() {} fn main() { let ptr = &foo as *const _ as *const c_void; println!("{:x}", ptr as usize); } Fonctionné sur la version 1.38.0 stable, …

9 types casting rust undefined-behavior

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.