It’s not pedantry. Pointers and references are truly different things.

A normal C compiler actually has to worry about a lot of extreme cases.

Imagine a function takes two pointer arguments. What if they point to the same thing? What if one points to the other and is used for a write?

The nature of the code generated varies greatly if these are possibilities…