동적메모리할당과 해제에 대해서

동적메모리 할당과 해제시키는 간단한 테스트 도중 이상한 점을 발견해서 질문드립니다. 아래와 같은 코드가 있을 때

#include<stdio.h>
       
       int main()
       {
               char *p, *p2;
       
               if((p2=(char *)malloc(10)))
               {
                       strcpy(p2, "rock");
                      p=p2;
      
              //      printf ("%x %x", p, p2);
                      free(p2);
              }
      
              printf("%s\n", p);
      
              exit(0);
      }

리눅스에서 컴파일하고 실행 했는데 이론적으로는 마지막 부분에 printf할 때 쓰레기 값이 나와야 하는데 값이 제대로 출력되는 것이 이상합니다.
그리고 윈도우상에서 vc++ 컴파일러로 컴파일하고 실행하면 쓰레기값이 나옵니다. 이런 경우는 컴파일러 특성 상 그런것인지가 궁금하고 위와 같이 free()해 주었을 때 이전에 할당 받은 포인터 변수도 가리키는 값이 사라져야 되는것이 올바른 것이 아닌지요.