Qual è lo scopo di questo [1] alla fine della dichiarazione struct?

Stavo curiosando tra i file di intestazione del mio microcontrollore MSP430 e mi sono imbattuto in questo <setjmp.h>:

/* r3 does not have to be saved */
typedef struct
{
    uint32_t __j_pc; /* return address */
    uint32_t __j_sp; /* r1 stack pointer */
    uint32_t __j_sr; /* r2 status register */
    uint32_t __j_r4;
    uint32_t __j_r5;
    uint32_t __j_r6;
    uint32_t __j_r7;
    uint32_t __j_r8;
    uint32_t __j_r9;
    uint32_t __j_r10;
    uint32_t __j_r11;
} jmp_buf[1]; /* size = 20 bytes */

Capisco che dichiara una struttura anonima e typedef lo fa jmp_buf, ma non riesco a capire a cosa [1]serva. So che dichiara jmp_bufdi essere un array con un membro (di questa struttura anonima), ma non riesco a immaginare a cosa serva. Qualche idea?

Questo è un trucco comune per creare un "tipo di riferimento" in C, dove usarlo come argomento di una funzione fa degradare l'array a singolo elemento a un puntatore al suo primo elemento senza che il programmatore debba usare esplicitamente l' &operatore per ottenere il suo indirizzo. Dove dichiarato, è un vero tipo di stack (non è necessaria alcuna allocazione dinamica), ma quando passata come argomento, la funzione chiamata riceve un puntatore ad essa, non una copia, quindi viene passato a buon mercato (e può essere mutato dalla funzione chiamata in caso contrario const).

GMP usa lo stesso trucco con il suo mpz_ttipo, ed è fondamentale, perché la struttura gestisce un puntatore alla memoria allocata dinamicamente; la mpz_initfunzione si basa sull'ottenere un puntatore alla struttura, non una copia di essa, o non potrebbe inizializzarla affatto. Allo stesso modo, molte operazioni possono ridimensionare la memoria allocata dinamicamente e ciò non funzionerebbe se non potessero modificare la struttura del chiamante.