[analyzer] Detect use-after-free for field address (e.g., &ptr->field)

[analyzer] Detect use-after-free for field address (e.g., &ptr->field) #50696