Perguntas com a marcação «undefined-behavior»

Há uma propriedade muito elegante de expressões constantes em C ++: sua avaliação não pode ter um comportamento indefinido ( 7.7.4.7 ): Uma expressão e é uma expressão constante do núcleo, a menos que a avaliação de e, seguindo as regras da máquina abstrata ([intro.execution]), avalie um dos seguintes: ... …

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

É necessário um programa para terminar? Em outras palavras, é um programa que roda para sempre tecnicamente Comportamento indefinido? Observe que não se trata de loops vazios. Falando sobre programas que fazem "coisas" (ou seja, comportamento observável) para sempre. Por exemplo, algo como isto: int main() { while (true) { …

15 c++  language-lawyer  undefined-behavior 

Eu quero escrever uma função que insira uma matriz de dados e produza outra matriz de dados usando ponteiros. Gostaria de saber qual é o resultado se ambos srce dstapontou para o mesmo endereço, porque eu sei que o compilador pode otimizar para const. É um comportamento indefinido? Marquei C …

14 c++  c  const  undefined-behavior 

tl; dr: Eu acho que meu static_vector tem um comportamento indefinido, mas não consigo encontrá-lo. Esse problema está no Microsoft Visual C ++ 17. Eu tenho essa implementação static_vector simples e inacabada, ou seja, um vetor com uma capacidade fixa que pode ser alocada por pilha. Este é um programa …

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

Um colega de trabalho queria escrever isso: std::string_view strip_whitespace(std::string_view sv); std::string line = "hello "; line = strip_whitespace(line); Eu disse que o retorno string_viewme deixava desconfortável a priori e, além disso, o apelido aqui parecia UB para mim. Posso dizer com certeza que line = strip_whitespace(line), neste caso, é equivalente …

11 c++  stl  undefined-behavior 

O seguinte (exemplo artificial) está bom ou é um comportamento indefinido: // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

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

Eu tenho um *.cpparquivo que eu compilar com C ++ (não um compilador C). A função contendo depende de uma conversão (consulte a última linha) que parece ser definida em C (corrija se estiver errado!), Mas não em C ++ para este tipo especial. [...] C++ code [...] struct sockaddr_in …

10 c++  c  undefined-behavior 

Abaixo estão dois casos de teste para Comportamento indefinido, expressos como IIFE (Imediatamente chamado de 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 = …

9 c++  undefined-behavior  constexpr  avr-gcc 

Enquanto investigava uma alegação duvidosa , escrevi este pequeno programa de testenoway.c int proveit() { unsigned int n = 0; while (1) n++; return 0; } int main() { proveit(); return 0; } Testando isso, recebo: $ clang -O noway.c $ ./a.out zsh: illegal hardware instruction ./a.out Wat. Se eu …

9 c  standards  undefined-behavior 

Estou rastreando um erro no código de terceiros e o reduzi a algo ao longo das linhas 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); } Executado no estável 1.38.0, imprime o ponteiro …

9 types  casting  rust  undefined-behavior 

Estou trabalhando em uma biblioteca que ajuda a transacionar tipos que se encaixam em um tamanho de ponteiro int sobre os limites da FFI. Suponha que eu tenha uma estrutura como esta: 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>()); Essa estrutura …

8 rust  initialization  undefined-behavior  unsafe