C оптимизация строковых литералов

только что проверял следующее в GDB:

char *a[] = {"one","two","three","four"};
char *b[] = {"one","two","three","four"};
char *c[] = {"two","three","four","five"};
char *d[] = {"one","three","four","six"};

и я получаю следующее:

(gdb) p a
$17 = {0x80961a4 "one", 0x80961a8 "two", 0x80961ac "three", 0x80961b2 "four"}
(gdb) p b
$18 = {0x80961a4 "one", 0x80961a8 "two", 0x80961ac "three", 0x80961b2 "four"}
(gdb) p c
$19 = {0x80961a8 "two", 0x80961ac "three", 0x80961b2 "four", 0x80961b7 "five"}
(gdb) p d
$20 = {0x80961a4 "one", 0x80961ac "three", 0x80961b2 "four", 0x80961bc "six"}

Я действительно удивлен, что строковые указатели одинаковы для эквивалентных слов. Я бы подумал, что каждая строка будет выделена собственная память в стеке независимо от того, была ли она такой же, как строка в другом массиве.

Это пример какой-то оптимизации компилятора или это стандартное поведение для объявления строк такого рода?

Ответы на вопрос(2)

Ваш ответ на вопрос