わりとまじめに質問してるんですけど。

char *p = "Hello, C";
（何らかの処理）
printf("%s\n", p);
とした場合、
printfでpが参照されている時点では、pが指す値は"Hello, C"であると保証されているのですか?