ignore-value: handle pointer types, too