Есть какой-то буфер buf, и есть указать на данные внутри этого буфера *ptr. Есть функция foo (в примере ниже), которая ищет определённые данные в нашем буфере, начиная с указателя *ptr. Указатель на найденные данные помещается в указатель **trg. Я сильно упростил функцию foo и не передаю длину буфера, считаем что за границы нашего буфера мы гарантированно не выходим. Вопрос в том, что будет, если в качестве аргументов для этой функции я передам один и тот же указатель, как показано в примере ниже. Данный пример компилится и работает, но могут ли возникнуть проблемы при какой-нибудь хитрой оптимизации кода? Безопасно ли переопределять указатель внутри функции таким образом, как показано в примере?

unsigned char buf[4]={1,2,3,4};

void foo(unsigned char *ptr, unsigned char **trg)
{
    *trg = &ptr[2];
}

int main ()
{
    unsigned char *ptr;

    ptr = buf;
    foo(ptr, &ptr);

    return 0;
}