Programmierung undefined-behavior

5

Erfasst ein neu erstelltes Objekt durch const ref undefiniertes Verhalten

Ist das folgende (erfundenes Beispiel) in Ordnung oder ist es undefiniertes Verhalten: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

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

2

Was passiert, wenn undefiniertes C ++ - Verhalten mit C-definiertem Verhalten übereinstimmt?

Ich habe ein *.cpp Datei, die ich mit C ++ kompiliere (kein C-Compiler). Die enthaltende Funktion basiert auf einer Besetzung (siehe letzte Zeile), die in C definiert zu sein scheint (bitte korrigieren, wenn ich falsch liege!), Aber nicht in C ++ für diesen speziellen Typ. [...] C++ code [...] struct …

10 c++ c undefined-behavior

1

GCC meldet keinen schlecht formulierten constexpr Lambda-Anruf

Nachfolgend sind zwei Testfälle für undefiniertes Verhalten aufgeführt, ausgedrückt als IIFE (Sofort als Lambda-Axpression bezeichnet): 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

1

"Illegale Hardware-Anweisung" aus sehr einfachem Code

Während ich eine zweifelhafte Behauptung untersuchte , schrieb ich dieses kleine Testprogrammnoway.c int proveit() { unsigned int n = 0; while (1) n++; return 0; } int main() { proveit(); return 0; } Wenn ich das teste, bekomme ich: $ clang -O noway.c $ ./a.out zsh: illegal hardware instruction ./a.out …

9 c standards undefined-behavior

2

Eine Funktionsreferenz umwandeln, die einen ungültigen Zeiger erzeugt?

Ich habe einen Fehler im Code von Drittanbietern aufgespürt und ihn auf etwas in der Art von eingegrenzt. use libc::c_void; pub unsafe fn foo() {} fn main() { let ptr = &foo as *const _ as *const c_void; println!("{:x}", ptr as usize); } Bei stabiler Version 1.38.0 wird der Funktionszeiger …

9 types casting rust undefined-behavior

1

Überträgt std :: ptr :: write die „Uninitialisierung“ der geschriebenen Bytes?

Ich arbeite an einer Bibliothek, mit deren Hilfe Typen abgewickelt werden können, die über FFI-Grenzen in eine Zeigergröße passen. Angenommen, ich habe eine Struktur wie diese: use std::mem::{size_of, align_of}; struct PaddingDemo { data: u8, force_pad: [usize; 0] } assert_eq!(size_of::<PaddingDemo>(), size_of::<usize>()); assert_eq!(align_of::<PaddingDemo>(), align_of::<usize>()); Diese Struktur hat 1 Datenbyte und 7 Füllbytes. …

8 rust initialization undefined-behavior unsafe

Als «undefined-behavior» getaggte Fragen