Освобождение цели массива, но указатель по-прежнему имеет значения [дубликаты]

У меня есть следующий очень простой код. Чего я не понимаю, так это того, что после того, как я освободил свой массив x, я бы предположил, что мой указатель ptr больше не может быть разыменован. Однако, если вы запустите программу, вы увидите, что оператор print правильно дает значения x, а также дает его размер, даже несмотря на то, что я освободил массив перед разыменованием указателя.

Это потому, что мои значения x все еще загружаются на более высокие уровни памяти (L1, L2 и т. д.), и им потребуется больше времени для обновления своего состояния?

  program ptr_deall

  implicit none

  real, allocatable,target :: x(:)
  real, pointer :: ptr(: )


  allocate(x(100))

  x = 100

  ptr => x
  deallocate(x)
  print*, ptr,size(ptr)

  end program