int main()
{
    int a = 5;

    int* c;
    {
        int& b = a;
        c = &b;
    }
    *c = 6;
    std::cout << a << std::endl;

    return 0;
}

Output gibt a als 6 aus.
Ist es garantiert, das *c = 6 IMMER den Wert von a ändert?

Ist es garantiert, das *c = 6 IMMER den Wert von a ändert?

Ja.

mit "immer" meine ich natürlich, ob der C++-Standard vorschreibt, dass dies so sein müsste und ein standardkonformer Compiler meinen gepostet Quellcode in der erwarteten Weise kompiliert bzw. er so ausgeführt wird.