If pgpath->pg->ps.type is NULL, it is not possible to access its name
field. Alasdair G Kergon suggested that the field type is actually known
never to be NULL; instead it is its field reinstate_path that is supposed
to be tested.
This problem was found using the following semantic match