Jaki jest cel tego [1] na końcu deklaracji struktury?

Szperałem w plikach nagłówkowych mojego mikrokontrolera MSP430 i natknąłem się na to w <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 */

Rozumiem, że deklaruje anonimową strukturę i jest to typedef jmp_buf, ale nie mogę dowiedzieć się, do czego [1]służy. Wiem, że deklaruje, jmp_bufże jest tablicą z jednym elementem (tej anonimowej struktury), ale nie mogę sobie wyobrazić, do czego służy. Jakieś pomysły?

Jest to powszechna sztuczka przy tworzeniu „typu referencyjnego” w C, gdzie użycie go jako argumentu funkcji powoduje degradację tablicy jednoelementowej do wskaźnika do jej pierwszego elementu bez konieczności jawnego użycia &operatora w celu uzyskania jej adresu. Tam, gdzie jest zadeklarowany, jest to prawdziwy typ stosu (nie jest wymagana alokacja dynamiczna), ale gdy jest przekazywana jako argument, wywoływana funkcja otrzymuje wskaźnik do niej, a nie kopię, więc jest przekazywana tanio (i może zostać zmutowana przez wywołaną funkcję, jeśli nie const).

GMP używa tej samej sztuczki ze swoim mpz_ttypem i jest tam krytyczny, ponieważ struktura zarządza wskaźnikiem do dynamicznie przydzielanej pamięci; mpz_initfunkcja polega na uzyskiwanie wskaźnik do struktury, a nie kopia, lub nie może zainicjować go w ogóle. Podobnie, wiele operacji może zmienić rozmiar dynamicznie przydzielonej pamięci, a to nie zadziałałoby, gdyby nie mogły zmutować struktury wywołującego.