Undefined behavior: variable-length array declared with zero or negative size ('int vla[n]' where n <= 0) – C VLA_ZERO_SIZE

VLA_ZERO_SIZE

Se la variabile utilizzata per stabilire la dimensione di un VLA assume valore 0 o negativo a runtime, la dichiarazione costituisce comportamento indefinito secondo lo standard C99/C11 e scatena crash immediati dello stack pointer.

Cosa significa questo errore?

Se la variabile utilizzata per stabilire la dimensione di un VLA assume valore 0 o negativo a runtime, la dichiarazione costituisce comportamento indefinito secondo lo standard C99/C11 e scatena crash immediati dello stack pointer.

Messaggio originale

Undefined behavior: variable-length array declared with zero or negative size ('int vla[n]' where n <= 0)

Contesto e parole chiave

Alias

  • variable-length array zero size undefined behavior C

Messaggi alternativi

  • array a dimensione variabile dichiarato con dimensione zero o negativa

Prodotti

  • GCC / Clang / MSVC / GDB

Piattaforme

  • Linux
  • macOS
  • Windows

Parole chiave

  • c.memoria.vla-zero-size-undefined-behavior
  • clang
  • errore-c-vla-zero-size-undefined-behavior
  • gcc
  • linguaggio-c
  • Puntatori e Gestione Memoria
  • VLA_ZERO_SIZE

Cause possibili

Origine del problema per Errore C: Array a Dimensione Variabile (VLA) con Dimensione Minore o Uguale a Zero

Se la variabile utilizzata per stabilire la dimensione di un VLA assume valore 0 o negativo a runtime, la dichiarazione costituisce comportamento indefinito secondo lo standard C99/C11 e scatena crash immediati dello stack pointer.

molto comune

Diagnosi

Diagnostica di compilazione o memoria per Errore C: Array a Dimensione Variabile (VLA) con Dimensione Minore o Uguale a Zero

Compilare con flag di warning rigorosi (-Wall -Wextra -pedantic) e analizzare eventuali crash con AddressSanitizer o GDB.

Come leggere il risultato. Evidenzia warning precisi a tempo di compilazione ed esegue l'intercettazione dei memory error a runtime.

terminal
gcc -Wall -Wextra -pedantic -fsanitize=address -g main.c -o app

Risoluzione

Risoluzione per Errore C: Array a Dimensione Variabile (VLA) con Dimensione Minore o Uguale a Zero

Difficoltà: mediaRischio: basso

Applicare la correzione al codice sorgente C secondo le buone pratiche di gestione memoria e prototipi.

  1. Ispezionare la riga segnalata dal compilatore o lo stack trace del crash
  2. Correggere la gestione dei puntatori, le firme delle funzioni o i flag del linker
  3. Ricompilare e verificare con AddressSanitizer o Valgrind l'assenza di violazioni di memoria
terminal
gcc -Wall -Wextra main.c -o app

Domande frequenti

Come risolvere l'errore Errore C: Array a Dimensione Variabile (VLA) con Dimensione Minore o Uguale a Zero in C?

Se la variabile utilizzata per stabilire la dimensione di un VLA assume valore 0 o negativo a runtime, la dichiarazione costituisce comportamento indefinito secondo lo standard C99/C11 e scatena crash immediati dello stack pointer.

Approfondimenti

Schede correlate